hashar added a comment.
in integration/jenkins.git mediawiki/conf.d/10_set_wgWikimediaJenkinsCI.php we
have:
$wgWikimediaJenkinsCI = true;
So you can:
if ( isset( $wgWikimediaJenkinsCI ) && $wgWikimediaJenkinsCI == true ) {
echo "I hate Jenkins\n"; exit(0);
}
TASK DETAIL
https://phabricator.wikimedia.org/T95897
REPLY HANDLER ACTIONS
Reply to comment or attach files, or !close, !claim, !unsubscribe or !assign
<username>.
EMAIL PREFERENCES
https://phabricator.wikimedia.org/settings/panel/emailpreferences/
To: hashar
Cc: hashar, Legoktm, JanZerebecki, Aklapper, Wikidata-bugs, aude
_______________________________________________
Wikidata-bugs mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
