jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/333679 )
Change subject: Add mediawiki to list of wikis ...................................................................... Add mediawiki to list of wikis Not sure if something else is needed. Bug: T155997 Change-Id: Iaab98fde7aa87091bf13840f22c880b797879576 --- M extension.json 1 file changed, 2 insertions(+), 1 deletion(-) Approvals: jenkins-bot: Verified AndyRussG: Looks good to me, approved diff --git a/extension.json b/extension.json index cee025b..3ace61c 100644 --- a/extension.json +++ b/extension.json @@ -411,7 +411,8 @@ "commons", "meta", "wikispecies", - "test" + "test", + "mediawiki" ], "NoticeInfrastructure": true, "CentralDBname": false, -- To view, visit https://gerrit.wikimedia.org/r/333679 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iaab98fde7aa87091bf13840f22c880b797879576 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/CentralNotice Gerrit-Branch: master Gerrit-Owner: DatGuy <datguyst...@gmail.com> Gerrit-Reviewer: AndyRussG <andrew.green...@gmail.com> Gerrit-Reviewer: Awight <awi...@wikimedia.org> Gerrit-Reviewer: Cdentinger <cdentin...@wikimedia.org> Gerrit-Reviewer: Ejegg <eeggles...@wikimedia.org> Gerrit-Reviewer: Ssmith <ssm...@wikimedia.org> Gerrit-Reviewer: XenoRyet <dkozlow...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits