[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Add role for 'CodeMirror' extension

2017-05-18 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
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(-)

Approvals:
  MarkTraceur: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/puppet/modules/role/manifests/codemirror.pp 
b/puppet/modules/role/manifests/codemirror.pp
new file mode 100644
index 000..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: merged
Gerrit-Change-Id: Id2141297d7226a345132419d743d63132c31b164
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Jforrester 
Gerrit-Reviewer: Esanders 
Gerrit-Reviewer: Kaldari 
Gerrit-Reviewer: MarkTraceur 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] mediawiki/vagrant[master]: Add role for 'CodeMirror' extension

2017-05-08 Thread Jforrester (Code Review) 
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 000..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 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits