jenkins-bot has submitted this change and it was merged. Change subject: Dereference unused category from ArticleFeedbackToolv5 en.wiki config ......................................................................
Dereference unused category from ArticleFeedbackToolv5 en.wiki config The categories are empty since August 14 as they are deprecated. They are replaced by the new JS switch available on all pages. <https://en.wikipedia.org/w/index.php?title=Wikipedia_talk:Article_Feedback_Tool/Version_5&oldid=569251758#Re-enabled_on_all_pages> I preferred categories, but if they are unused this should be uncontroversial cleanup of stale configuration, not to mention how confusing it is to have two concurring systems to control AFT. Change-Id: Iad069551c360d2c8cc6e7ba8477abfeff386414e --- M wmf-config/InitialiseSettings.php 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Reedy: Looks good to me, approved jenkins-bot: Verified diff --git a/wmf-config/InitialiseSettings.php b/wmf-config/InitialiseSettings.php index 1c05934..48a6a3a 100644 --- a/wmf-config/InitialiseSettings.php +++ b/wmf-config/InitialiseSettings.php @@ -10857,7 +10857,6 @@ 'default' => array(), 'testwiki' => array( 'Article_Feedback_5', 'Article_Feedback_5_Additional_Articles' ), 'dewiki' => array(), - 'enwiki' => array( 'Article_Feedback_5', 'Article_Feedback_5_Additional_Articles' ), 'frwiki' => array( 'Wikipédia:Outil_de_retour_des_lecteurs' ), ), /* -- To view, visit https://gerrit.wikimedia.org/r/79832 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iad069551c360d2c8cc6e7ba8477abfeff386414e Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Nemo bis <[email protected]> Gerrit-Reviewer: MZMcBride <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> Gerrit-Reviewer: TMg <[email protected]> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
