jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/391844 )
Change subject: Add license to BatchUserRights
......................................................................
Add license to BatchUserRights
Bug: T180668
Change-Id: I5688099c23fcb5992541e6fd1973e84cb090160a
---
M extension.json
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
jenkins-bot: Verified
Grunny: Looks good to me, approved
diff --git a/extension.json b/extension.json
index d960f7b..910a39d 100644
--- a/extension.json
+++ b/extension.json
@@ -4,6 +4,7 @@
"author": "[http://www.seancolombo.com Sean Colombo]",
"url": "https://www.mediawiki.org/wiki/Extension:BatchUserRights";,
"descriptionmsg": "batchuserrights-desc",
+ "license-name": "GPL-3.0+",
"type": "specialpage",
"AvailableRights": [
"batchuserrights"
--
To view, visit https://gerrit.wikimedia.org/r/391844
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5688099c23fcb5992541e6fd1973e84cb090160a
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/BatchUserRights
Gerrit-Branch: master
Gerrit-Owner: MarcoAurelio <[email protected]>
Gerrit-Reviewer: Grunny <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
