Fix: Disable CodeEditor

mediawiki/LocalSettings.d/CodeEditingExtension.php

@@ -1,6 +1,6 @@
 <?php
 wfLoadExtension( 'JsonConfig' );
-wfLoadExtension( 'CodeEditor' );
+//wfLoadExtension( 'CodeEditor' ); requires wiki editor that is not yet availible.
 $wgDefaultUserOptions['usebetatoolbar'] = 1; // user option provided by WikiEditor extension
 wfLoadExtension( 'CodeMirror' );
 // Enables use of CodeMirror by default but still allow users to disable it