[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Revert "Deploy Linter to all wikis"
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 Gerrit-Reviewer: Florianschmidtwelzow Gerrit-Reviewer: Jforrester Gerrit-Reviewer: Legoktm Gerrit-Reviewer: Reedy Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Revert "Deploy Linter to all wikis"
Hello Legoktm, Florianschmidtwelzow, jenkins-bot, Jforrester, I'd like you to do a code review. Please visit https://gerrit.wikimedia.org/r/348242 to review the following change. Change subject: Revert "Deploy Linter to all wikis" .. Revert "Deploy Linter to all wikis" This reverts commit b18ca6dbebcb0f6a74264467d78e610e8228d4a0. Change-Id: I9f99e1695a02f4e4d422b830dd7e9c029f67059c --- M wmf-config/InitialiseSettings.php 1 file changed, 4 insertions(+), 3 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/42/348242/1 diff --git a/wmf-config/InitialiseSettings.php b/wmf-config/InitialiseSettings.php index 984bbea..e62f8ac 100644 --- a/wmf-config/InitialiseSettings.php +++ b/wmf-config/InitialiseSettings.php @@ -14195,9 +14195,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/348242 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I9f99e1695a02f4e4d422b830dd7e9c029f67059c Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Volans Gerrit-Reviewer: Florianschmidtwelzow Gerrit-Reviewer: Jforrester Gerrit-Reviewer: Legoktm Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Revert "Deploy Linter to all wikis"
Hello Legoktm, Florianschmidtwelzow, jenkins-bot, Jforrester, I'd like you to do a code review. Please visit https://gerrit.wikimedia.org/r/348241 to review the following change. 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(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/41/348241/1 diff --git a/wmf-config/InitialiseSettings.php b/wmf-config/InitialiseSettings.php index 984bbea..e62f8ac 100644 --- a/wmf-config/InitialiseSettings.php +++ b/wmf-config/InitialiseSettings.php @@ -14195,9 +14195,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: newchange Gerrit-Change-Id: Iaeb01d87c19eaf11bc36c3693fc5a1261e924367 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Reedy Gerrit-Reviewer: Florianschmidtwelzow Gerrit-Reviewer: Jforrester Gerrit-Reviewer: Legoktm Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
