]> git.openstreetmap.org Git - chef.git/commitdiff
Merge pull request #236 from Tigerfell/master
authorGrant <git@firefishy.com>
Mon, 6 May 2019 20:45:37 +0000 (21:45 +0100)
committerGitHub <noreply@github.com>
Mon, 6 May 2019 20:45:37 +0000 (21:45 +0100)
add CodeMirror extension to wiki.osm.org

cookbooks/wiki/recipes/default.rb

index d2cf4520796ff6091b5e69ee0bfc00ae5d652d74..455d8ede13e738bfb69818fcca31f445297729d0 100644 (file)
@@ -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"