Gergő Tisza has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/366585 )
Change subject: Add readinglists role ...................................................................... Add readinglists role Bug: T168975 Change-Id: I17eba484b7b5de7293d16708849bece8680b82ab --- A puppet/modules/role/manifests/readinglists.pp A puppet/modules/role/templates/readinglists/VagrantRoleReadingLists.wiki.erb 2 files changed, 18 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/vagrant refs/changes/85/366585/1 diff --git a/puppet/modules/role/manifests/readinglists.pp b/puppet/modules/role/manifests/readinglists.pp new file mode 100644 index 0000000..caf675f --- /dev/null +++ b/puppet/modules/role/manifests/readinglists.pp @@ -0,0 +1,16 @@ +# == Class: role::readinglists +# Installs the Reading Lists[1] extension which reads provides +# an API to manage lists of pages. +# +# [1] https://www.mediawiki.org/wiki/Extension:ReadingLists +# +class role::readinglists { + mediawiki::extension { 'ReadingLists': + needs_update => true, + } + + mediawiki::import::text { 'VagrantRoleReadingLists': + content => template('role/readinglists/VagrantRoleReadingLists.wiki.erb'), + } +} + diff --git a/puppet/modules/role/templates/readinglists/VagrantRoleReadingLists.wiki.erb b/puppet/modules/role/templates/readinglists/VagrantRoleReadingLists.wiki.erb new file mode 100644 index 0000000..1ef5d51 --- /dev/null +++ b/puppet/modules/role/templates/readinglists/VagrantRoleReadingLists.wiki.erb @@ -0,0 +1,2 @@ +Documentation: [Reading Lists][https://www.mediawiki.org/wiki/Extension:ReadingLists] + -- To view, visit https://gerrit.wikimedia.org/r/366585 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I17eba484b7b5de7293d16708849bece8680b82ab 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
