The unofficial WordPress Plugin Directory
Just another code syntaxhighligher for the theme and plugin editor with CodeMirror.