Reedy has submitted this change and it was merged. Change subject: Disable and remove contest extension ......................................................................
Disable and remove contest extension Change-Id: I4066878c9711f6fe6ef2f881b65a3384de755ad3 --- M wmf-config/CommonSettings.php M wmf-config/InitialiseSettings.php M wmf-config/extension-list 3 files changed, 0 insertions(+), 19 deletions(-) Approvals: Reedy: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/31343 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4066878c9711f6fe6ef2f881b65a3384de755ad3 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Reedy <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
