Change the name of the button to "Edit HTML".

Changed menu name for consistency, but we don't show it.

common/static/js/vendor/tiny_mce/plugins/codemirror/plugin.js

@@ -39,7 +39,7 @@ tinymce.PluginManager.add('codemirror', function(editor, url) {
 
 	// Add a button to the button bar
 	editor.addButton('code', {
-		title: 'Source code',
+		title: 'Edit HTML',
 		icon: 'code',
 		onclick: showSourceEditor
 	});
@@ -47,7 +47,7 @@ tinymce.PluginManager.add('codemirror', function(editor, url) {
 	// Add a menu item to the tools menu
 	editor.addMenuItem('code', {
 		icon: 'code',
-		text: 'Source code',
+		text: 'Edit HTML',
 		context: 'tools',
 		onclick: showSourceEditor
 	});

common/static/js/vendor/tiny_mce/plugins/codemirror/plugin.min.js

 tinymce.PluginManager.requireLangPack("codemirror");
 tinymce.PluginManager.add("codemirror",function(a,c){function b(){a.focus();a.selection.collapse(!0);a.selection.setContent('<span class="CmCaReT" style="display:none">&#0;</span>');var b=a.windowManager.open({title:"HTML source code",url:c+"/source.html",width:800,height:550,resizable:!0,maximizable:!0,buttons:[{text:"Ok",subtype:"primary",onclick:function(){document.querySelectorAll(".mce-container-body>iframe")[0].contentWindow.submit();b.close()}},{text:"Cancel",onclick:"close"}]})}a.addButton("code",
-{title:"Source code",icon:"code",onclick:b});a.addMenuItem("code",{icon:"code",text:"Source code",context:"tools",onclick:b})});
+{title:"Edit HTML",icon:"code",onclick:b});a.addMenuItem("code",{icon:"code",text:"Edit HTML",context:"tools",onclick:b})});