Étiquette de l’extension : linting

Adding CodeMirror functionality to the Plugin and Theme file editors, as well as the Customizer…