diff --git a/mediawiki/LocalSettings.d/CodeEditingExtension.php b/mediawiki/LocalSettings.d/CodeEditingExtension.php index 00eea47..61903c4 100644 --- a/mediawiki/LocalSettings.d/CodeEditingExtension.php +++ b/mediawiki/LocalSettings.d/CodeEditingExtension.php @@ -1,6 +1,6 @@