Raimond Spekking has submitted this change and it was merged. Change subject: Update configuration for extensions migrated to JSON ......................................................................
Update configuration for extensions migrated to JSON Change-Id: I50f183eef372e2dc0ba0072bdfae778d85e11fbd --- M groups/MediaWiki/mediawiki-defines.txt 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Siebrand: Looks good to me, approved Raimond Spekking: Verified; Looks good to me, approved diff --git a/groups/MediaWiki/mediawiki-defines.txt b/groups/MediaWiki/mediawiki-defines.txt index b967f36..6b2fef4 100644 --- a/groups/MediaWiki/mediawiki-defines.txt +++ b/groups/MediaWiki/mediawiki-defines.txt @@ -119,6 +119,7 @@ ignored = babel-box-cellpadding, babel-cellpadding Batch User Rights +format = json aliasfile = BatchUserRights/BatchUserRights.alias.php Bayesian Filter -- To view, visit https://gerrit.wikimedia.org/r/121135 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I50f183eef372e2dc0ba0072bdfae778d85e11fbd Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Siebrand <[email protected]> Gerrit-Reviewer: Raimond Spekking <[email protected]> Gerrit-Reviewer: Siebrand <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
