WP Editarea

WP Editarea turns your Oldschool textarea code editor in WordPress Dashboard (plugin/theme editor) into a fancy realtime highlighted code editor using …