jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/359757 )
Change subject: Remove @codingStandardsIgnoreFile from alias file ...................................................................... Remove @codingStandardsIgnoreFile from alias file Change-Id: I2e721d373150cb338ce6fc91dc25e3ba1257cdaf --- M CollaborationKit.alias.php 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Harej: Looks good to me, approved jenkins-bot: Verified diff --git a/CollaborationKit.alias.php b/CollaborationKit.alias.php index b35840c..73b7b57 100644 --- a/CollaborationKit.alias.php +++ b/CollaborationKit.alias.php @@ -3,7 +3,6 @@ * Aliases for special pages * */ -// @codingStandardsIgnoreFile $specialPageAliases = []; -- To view, visit https://gerrit.wikimedia.org/r/359757 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2e721d373150cb338ce6fc91dc25e3ba1257cdaf Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/CollaborationKit Gerrit-Branch: master Gerrit-Owner: Umherirrender <[email protected]> Gerrit-Reviewer: Harej <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
