Jforrester has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/352650 )
Change subject: Add role for 'CodeMirror' extension
......................................................................
Add role for 'CodeMirror' extension
Change-Id: Id2141297d7226a345132419d743d63132c31b164
---
A puppet/modules/role/manifests/codemirror.pp
1 file changed, 9 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant
refs/changes/50/352650/1
diff --git a/puppet/modules/role/manifests/codemirror.pp
b/puppet/modules/role/manifests/codemirror.pp
new file mode 100644
index 0000000..1db411f
--- /dev/null
+++ b/puppet/modules/role/manifests/codemirror.pp
@@ -0,0 +1,9 @@
+# == Class: role::codemirror
+# The CodeMirror extension extension provides syntax highlighting in
WikiEditor and VisualEditor's
+# wikitext mode.
+class role::codemirror {
+ include ::role::wikieditor
+ include ::role::visualeditor
+
+ mediawiki::extension { 'CodeMirror': }
+}
--
To view, visit https://gerrit.wikimedia.org/r/352650
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Id2141297d7226a345132419d743d63132c31b164
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Jforrester <jforres...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
