Krinkle has submitted this change and it was merged. Change subject: ExtraSettings.php: Some debugging for MediaWiki installs in Jenkins ......................................................................
ExtraSettings.php: Some debugging for MediaWiki installs in Jenkins Change-Id: Idbfe2155dc74fdf3071874f294bd07a53f60427d --- M jobs/_shared/ExtraSettings.php 1 file changed, 6 insertions(+), 2 deletions(-) Approvals: Krinkle: Verified; Looks good to me, approved diff --git a/jobs/_shared/ExtraSettings.php b/jobs/_shared/ExtraSettings.php index 702470c..0c04dc0 100644 --- a/jobs/_shared/ExtraSettings.php +++ b/jobs/_shared/ExtraSettings.php @@ -1,5 +1,9 @@ <?php -$wgDevelopmentWarnings = true; # bug 38882 +// Debugging: PHP +error_reporting( -1 ); +ini_set( 'display_errors', 1 ); -$wgShowExceptionDetails = true; # bug 43059 +// Debugging: MediaWiki +$wgDevelopmentWarnings = true; +$wgShowExceptionDetails = true; -- To view, visit https://gerrit.wikimedia.org/r/59609 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Idbfe2155dc74fdf3071874f294bd07a53f60427d Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Krinkle <[email protected]> Gerrit-Reviewer: Krinkle <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
