diff --git a/mediawiki/LocalSettings.d/CodeEditingExtension.php b/mediawiki/LocalSettings.d/CodeEditingExtension.php
new file mode 100644
index 0000000..00eea47
--- /dev/null
+++ b/mediawiki/LocalSettings.d/CodeEditingExtension.php
@@ -0,0 +1,7 @@
+<?php
+wfLoadExtension( 'JsonConfig' );
+wfLoadExtension( 'CodeEditor' );
+$wgDefaultUserOptions['usebetatoolbar'] = 1; // user option provided by WikiEditor extension
+wfLoadExtension( 'CodeMirror' );
+// Enables use of CodeMirror by default but still allow users to disable it
+$wgDefaultUserOptions['usecodemirror'] = 1;