This plugin provides an advanced editor window for editing WordPress core files. Features include: line numbers, colour-coded code syntax and error-checking.