Gergő Tisza has uploaded a new change for review. https://gerrit.wikimedia.org/r/240944
Change subject: Add inputbox role ...................................................................... Add inputbox role Change-Id: I30807592790c4331fed6add121bc5aef740072b1 --- A puppet/modules/role/manifests/inputbox.pp 1 file changed, 8 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant refs/changes/44/240944/1 diff --git a/puppet/modules/role/manifests/inputbox.pp b/puppet/modules/role/manifests/inputbox.pp new file mode 100644 index 0000000..e5f5941 --- /dev/null +++ b/puppet/modules/role/manifests/inputbox.pp @@ -0,0 +1,8 @@ +# == Class: role::inputbox +# The InputBox[1] extension extension adds support for embedding +# simple navigational forms in wikitext. +# +# [1] https://www.mediawiki.org/wiki/Extension:InputBox +class role::inputbox { + mediawiki::extension { 'InputBox': } +} -- To view, visit https://gerrit.wikimedia.org/r/240944 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I30807592790c4331fed6add121bc5aef740072b1 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits