WordPress Plugin - Adds line numbers, syntax highlighting, code folding, and lots more to the theme and plugin editors in the admin panel.