Gilles has uploaded a new change for review. https://gerrit.wikimedia.org/r/277838
Change subject: Add role for Extension:ShortUrl ...................................................................... Add role for Extension:ShortUrl Change-Id: I6c4be6fd4b375e60699a890ef37cf293be2574b8 --- A puppet/modules/role/manifests/shorturl.pp 1 file changed, 9 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant refs/changes/38/277838/1 diff --git a/puppet/modules/role/manifests/shorturl.pp b/puppet/modules/role/manifests/shorturl.pp new file mode 100644 index 0000000..84a0a04 --- /dev/null +++ b/puppet/modules/role/manifests/shorturl.pp @@ -0,0 +1,9 @@ +# == Class: role::shorturl +# Installs the [ShortUrl][1] extension which adds a +# special page that helps create shortened URLs for wiki pages. +# +# [1] https://www.mediawiki.org/wiki/Extension:ShortUrl +# +class role::shorturl { + mediawiki::extension { 'ShortUrl': } +} -- To view, visit https://gerrit.wikimedia.org/r/277838 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I6c4be6fd4b375e60699a890ef37cf293be2574b8 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Gilles <gdu...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits