jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/348241 )
Change subject: Revert "Deploy Linter to all wikis" ...................................................................... Revert "Deploy Linter to all wikis" This reverts commit b18ca6dbebcb0f6a74264467d78e610e8228d4a0. Change-Id: Iaeb01d87c19eaf11bc36c3693fc5a1261e924367 --- M wmf-config/InitialiseSettings.php 1 file changed, 4 insertions(+), 3 deletions(-) Approvals: Reedy: Looks good to me, approved jenkins-bot: Verified diff --git a/wmf-config/InitialiseSettings.php b/wmf-config/InitialiseSettings.php index fa457c3..0e2dbef 100644 --- a/wmf-config/InitialiseSettings.php +++ b/wmf-config/InitialiseSettings.php @@ -14065,9 +14065,10 @@ ], 'wmgUseLinter' => [ - 'default' => true, - 'votewiki' => false, - 'loginwiki' => false, + 'default' => false, + 'small' => true, + 'medium' => true, + 'group0' => true, ], 'wgLinterStatsdSampleFactor' => [ -- To view, visit https://gerrit.wikimedia.org/r/348241 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iaeb01d87c19eaf11bc36c3693fc5a1261e924367 Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Reedy <re...@wikimedia.org> Gerrit-Reviewer: Florianschmidtwelzow <florian.schmidt.stargatewis...@gmail.com> Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: Legoktm <lego...@member.fsf.org> Gerrit-Reviewer: Reedy <re...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
