jenkins-bot has submitted this change and it was merged. Change subject: Create GlobalUsage role ......................................................................
Create GlobalUsage role Change-Id: I1cf317da6178a996e7a441f15999f14af266ae14 --- A puppet/modules/role/manifests/globalusage.pp 1 file changed, 6 insertions(+), 0 deletions(-) Approvals: Ori.livneh: Looks good to me, approved jenkins-bot: Verified diff --git a/puppet/modules/role/manifests/globalusage.pp b/puppet/modules/role/manifests/globalusage.pp new file mode 100644 index 0000000..9040f41 --- /dev/null +++ b/puppet/modules/role/manifests/globalusage.pp @@ -0,0 +1,6 @@ +# == Class: role::globalusage +# Configures a MediaWiki instance with +# GlobalUsage[https://www.mediawiki.org/wiki/Extension:GlobalUsage] +class role::globalusage { + mediawiki::extension { 'GlobalUsage': } +} -- To view, visit https://gerrit.wikimedia.org/r/195082 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I1cf317da6178a996e7a441f15999f14af266ae14 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Gilles <[email protected]> Gerrit-Reviewer: BryanDavis <[email protected]> Gerrit-Reviewer: Gilles <[email protected]> Gerrit-Reviewer: Ori.livneh <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
