jenkins-bot has submitted this change and it was merged.
Change subject: Add default permissions
......................................................................
Add default permissions
Bug: T135593
Change-Id: Id1cb1234e6d04e0e4cac932bb6d81eaeabc60110
---
M extension.json
1 file changed, 9 insertions(+), 1 deletion(-)
Approvals:
Daniel Kinzler: Looks good to me, but someone else must approve
Thiemo Mättig (WMDE): Looks good to me, approved
jenkins-bot: Verified
diff --git a/extension.json b/extension.json
index bfa8f11..68f6054 100644
--- a/extension.json
+++ b/extension.json
@@ -39,5 +39,13 @@
},
"SpecialPages": {
},
- "manifest_version": 1
+ "manifest_version": 1,
+ "GroupPermissions": {
+ "*": {
+ "mediainfo-term": true
+ }
+ },
+ "AvailableRights": [
+ "mediainfo-term"
+ ]
}
--
To view, visit https://gerrit.wikimedia.org/r/289378
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id1cb1234e6d04e0e4cac932bb6d81eaeabc60110
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/WikibaseMediaInfo
Gerrit-Branch: master
Gerrit-Owner: Adrian Heine <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
Gerrit-Reviewer: Daniel Kinzler <[email protected]>
Gerrit-Reviewer: Jonas Kress (WMDE) <[email protected]>
Gerrit-Reviewer: Ricordisamoa <[email protected]>
Gerrit-Reviewer: Thiemo Mättig (WMDE) <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
