jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/355033 )
Change subject: Add whoops role ...................................................................... Add whoops role Bug: T111731 Change-Id: I3353fe599b551c8ad381db5161650b631efa2229 --- A puppet/modules/role/manifests/whoops.pp 1 file changed, 14 insertions(+), 0 deletions(-) Approvals: BryanDavis: Looks good to me, approved jenkins-bot: Verified diff --git a/puppet/modules/role/manifests/whoops.pp b/puppet/modules/role/manifests/whoops.pp new file mode 100644 index 0000000..3cb09d5 --- /dev/null +++ b/puppet/modules/role/manifests/whoops.pp @@ -0,0 +1,14 @@ +# == Class: role::whoops +# Installs the Whoops[https://www.mediawiki.org/wiki/Extension:Whoops] +# extension for nice exception display. +# +class role::whoops () { + mediawiki::extension { 'Whoops': + settings => { + wgShowExceptionDetails => true, + wgShowDBErrorBacktrace => true, + }, + composer => true, + } +} + -- To view, visit https://gerrit.wikimedia.org/r/355033 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I3353fe599b551c8ad381db5161650b631efa2229 Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/vagrant Gerrit-Branch: master Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org> Gerrit-Reviewer: BryanDavis <bda...@wikimedia.org> Gerrit-Reviewer: Dduvall <dduv...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
