Gergő Tisza has uploaded a new change for review.
https://gerrit.wikimedia.org/r/108858
Change subject: WIP add jsduck support for MediaViewer
......................................................................
WIP add jsduck support for MediaViewer
Change-Id: Idef779ed4212d8d70710f5713eb2127dcc9bad39
---
M puppet/manifests/packages.pp
M puppet/manifests/roles.pp
2 files changed, 12 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant
refs/changes/58/108858/1
diff --git a/puppet/manifests/packages.pp b/puppet/manifests/packages.pp
index 9e5e39b..78c327b 100644
--- a/puppet/manifests/packages.pp
+++ b/puppet/manifests/packages.pp
@@ -73,3 +73,10 @@
provider => 'pip',
}
}
+
+class packages::jsduck {
+ package { 'jsduck':
+ ensure => 'latest',
+ provider => 'gem',
+ }
+}
diff --git a/puppet/manifests/roles.pp b/puppet/manifests/roles.pp
index fe38b91..933f40d 100644
--- a/puppet/manifests/roles.pp
+++ b/puppet/manifests/roles.pp
@@ -758,7 +758,11 @@
include role::mediawiki
include role::multimedia
- mediawiki::extension { 'MultimediaViewer': }
+ include packages::jsduck
+
+ mediawiki::extension { 'MultimediaViewer':
+ require => Package['jsduck'],
+ }
}
# == Class: role::hhvm
--
To view, visit https://gerrit.wikimedia.org/r/108858
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Idef779ed4212d8d70710f5713eb2127dcc9bad39
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: Gergő Tisza <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
