]> git.openstreetmap.org Git - chef.git/blobdiff - cookbooks/wiki/recipes/default.rb
Send diff uploads to cgimap
[chef.git] / 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"