jenkins-bot has submitted this change and it was merged. Change subject: Disable a MediaWiki extension for Wikia ......................................................................
Disable a MediaWiki extension for Wikia Change-Id: Ief0dce9c4d3f104212028aeb046e30cbc85f5f74 --- M groups/Wikia/extensions.txt 1 file changed, 3 insertions(+), 2 deletions(-) Approvals: Siebrand: Looks good to me, approved jenkins-bot: Verified diff --git a/groups/Wikia/extensions.txt b/groups/Wikia/extensions.txt index 30fe1e7..5335237 100644 --- a/groups/Wikia/extensions.txt +++ b/groups/Wikia/extensions.txt @@ -81,8 +81,9 @@ Edit Account file = EditAccount/SpecialEditAccount.i18n.php -Edit Page Layout -ignored = anoneditwarning-notice, longpagewarning-notice +# Siebrand / 2013-02-24 / Disabled as announced. +#Edit Page Layout +#ignored = anoneditwarning-notice, longpagewarning-notice # Siebrand / 2012-08-09 / Disabled as announced. #Follow -- To view, visit https://gerrit.wikimedia.org/r/50613 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ief0dce9c4d3f104212028aeb046e30cbc85f5f74 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Siebrand <siebr...@wikimedia.org> Gerrit-Reviewer: Siebrand <siebr...@wikimedia.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
