jenkins-bot has submitted this change and it was merged. Change subject: Add living_style_guide role ......................................................................
Add living_style_guide role Change-Id: Ic840ff2c61607ff02195379d7d4295117367b126 --- A puppet/modules/role/manifests/livingstyleguide.pp 1 file changed, 17 insertions(+), 0 deletions(-) Approvals: BryanDavis: Looks good to me, approved jenkins-bot: Verified diff --git a/puppet/modules/role/manifests/livingstyleguide.pp b/puppet/modules/role/manifests/livingstyleguide.pp new file mode 100644 index 0000000..0ab892f --- /dev/null +++ b/puppet/modules/role/manifests/livingstyleguide.pp @@ -0,0 +1,17 @@ +# == Class: role::livingstyleguide +# Sets up a 'living style guide' wiki, with the custom Blueprint skin. +# This wiki will be available, by default, at livingstyleguide. +class role::livingstyleguide { + mediawiki::wiki {'livingstyleguide': } + + mediawiki::extension { 'OOUIPlayground': + composer => true, + wiki => 'livingstyleguide', + } + + mediawiki::skin { 'Blueprint': + default => true, + composer => true, + wiki => 'livingstyleguide', + } +} -- To view, visit https://gerrit.wikimedia.org/r/184891 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ic840ff2c61607ff02195379d7d4295117367b126 Gerrit-PatchSet: 15 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Werdna <agarr...@wikimedia.org> Gerrit-Reviewer: BryanDavis <bda...@wikimedia.org> Gerrit-Reviewer: Dduvall <dduv...@wikimedia.org> Gerrit-Reviewer: Ori.livneh <o...@wikimedia.org> Gerrit-Reviewer: Werdna <agarr...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits