jenkins-bot has submitted this change and it was merged. Change subject: Make grouppage-global-interface-editor optional ......................................................................
Make grouppage-global-interface-editor optional According to its qqq. Change-Id: Iad4614208bd1ff4fa9d25083cf8e53305b9ecadd --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Raimond Spekking: Looks good to me, approved jenkins-bot: Verified diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index 4d2c205..48de85c 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -2457,7 +2457,7 @@ optional = grouppage-apihighlimits-requestor, grouppage-wmf-researcher optional = grouppage-new-wikis-importer, grouppage-global-ipblock-exempt optional = grouppage-recursive-export, grouppage-captcha-exempt -optional = grouppage-abusefilter-helper +optional = grouppage-abusefilter-helper, grouppage-global-interface-editor optional = wikimedia-mobile-terms-url, wikibase-repo-name optional = wikibase-otherprojects-commons, wikibase-otherprojects-wikinews optional = wikibase-otherprojects-wikidata, wikibase-otherprojects-testwikidata -- To view, visit https://gerrit.wikimedia.org/r/195331 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iad4614208bd1ff4fa9d25083cf8e53305b9ecadd Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Amire80 <[email protected]> Gerrit-Reviewer: Nikerabbit <[email protected]> Gerrit-Reviewer: Raimond Spekking <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
