Translating WordPress
Adding CodeMirror functionality to the Plugin and Theme file editors, as well as the Customizer…WordPress.org Plugin Page