]> git.openstreetmap.org Git - chef.git/commitdiff
add CodeMirror extension
authorTigerfell <tigerfell-688@tuta.io>
Sat, 4 May 2019 09:20:35 +0000 (11:20 +0200)
committerTigerfell <tigerfell-688@tuta.io>
Sat, 4 May 2019 09:20:35 +0000 (11:20 +0200)
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"