JanZerebecki added a comment. We should convert it to use something like ```if ( isset( $wgWikimediaJenkinsCI ) && $wgWikimediaJenkinsCI == true )``` which is set in integration/jenkins.git mediawiki/conf.d/10_set_wgWikimediaJenkinsCI.php .
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: JanZerebecki Cc: hashar, Legoktm, JanZerebecki, Aklapper, Wikidata-bugs, aude _______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
