پلگ ان ٽيگ: linting

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