jenkins-bot has submitted this change and it was merged. Change subject: Add a vagrant role for the SandboxLink extension ......................................................................
Add a vagrant role for the SandboxLink extension Change-Id: I276e5e133033c6cacaf5dabff71c1184ce5d02bf --- A puppet/modules/role/manifests/sandboxlink.pp 1 file changed, 6 insertions(+), 0 deletions(-) Approvals: BryanDavis: Looks good to me, approved jenkins-bot: Verified diff --git a/puppet/modules/role/manifests/sandboxlink.pp b/puppet/modules/role/manifests/sandboxlink.pp new file mode 100644 index 0000000..82e9bc9 --- /dev/null +++ b/puppet/modules/role/manifests/sandboxlink.pp @@ -0,0 +1,6 @@ +# == Class: role::sandboxlink +# The SandboxLink extension adds a link to a personal sandbox to +# the personal tools menu. +class role::sandboxlink { + mediawiki::extension { 'SandboxLink': } +} -- To view, visit https://gerrit.wikimedia.org/r/211361 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I276e5e133033c6cacaf5dabff71c1184ce5d02bf Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Mr. Stradivarius <misterst...@gmail.com> Gerrit-Reviewer: BryanDavis <bda...@wikimedia.org> Gerrit-Reviewer: Ori.livneh <o...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits