jenkins-bot has submitted this change and it was merged. Change subject: phpcs: Pass DefaultSettings.php ......................................................................
phpcs: Pass DefaultSettings.php See: mediawiki/tools/codesniffer.git:/MediaWiki/rules.xml Also fixed typo '=>' in comment that should be '='. Change-Id: Icf2579deda0c77a6794a5c40a7200fcc07fb9dab --- M includes/DefaultSettings.php 1 file changed, 8 insertions(+), 9 deletions(-) Approvals: Nikerabbit: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/48111 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Icf2579deda0c77a6794a5c40a7200fcc07fb9dab Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: Krinkle <[email protected]> Gerrit-Reviewer: Catrope <[email protected]> Gerrit-Reviewer: Krinkle <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
