From: Grant <git@firefishy.com>
Date: Mon, 6 May 2019 20:45:37 +0000 (+0100)
Subject: Merge pull request #236 from Tigerfell/master
X-Git-Url: https://git.openstreetmap.org/chef.git/commitdiff_plain/33276255a80e64d9e70abb265f85317e52f0eac1?hp=685733b85921c66bf101c897991f68a42d8f391d

Merge pull request #236 from Tigerfell/master

add CodeMirror extension to wiki.osm.org
---

diff --git a/cookbooks/wiki/recipes/default.rb b/cookbooks/wiki/recipes/default.rb
index d2cf45207..455d8ede1 100644
--- a/cookbooks/wiki/recipes/default.rb
+++ b/cookbooks/wiki/recipes/default.rb
@@ -60,6 +60,10 @@ mediawiki_extension "CodeEditor" do
   site "wiki.openstreetmap.org"
 end
 
+mediawiki_extension "CodeMirror" do
+  site "wiki.openstreetmap.org"
+end
+
 mediawiki_extension "Scribunto" do
   site "wiki.openstreetmap.org"
   template "mw-ext-Scribunto.inc.php.erb"