jenkins-bot has submitted this change and it was merged.
Change subject: Add license to $wgExtensionCredits
......................................................................
Add license to $wgExtensionCredits
Bug: T123943
Change-Id: I9ec064539b7ad84ce930a0626aa8a35738917338
---
M CategoryTree.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
MtDu: Looks good to me, but someone else must approve
Aude: Looks good to me, approved
jenkins-bot: Verified
diff --git a/CategoryTree.php b/CategoryTree.php
index 0717285..3fd4cbe 100644
--- a/CategoryTree.php
+++ b/CategoryTree.php
@@ -109,6 +109,7 @@
'author' => 'Daniel Kinzler',
'url' => 'https://www.mediawiki.org/wiki/Extension:CategoryTree',
'descriptionmsg' => 'categorytree-desc',
+ 'license-name' => 'GPL-2.0+',
);
/**
--
To view, visit https://gerrit.wikimedia.org/r/266033
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9ec064539b7ad84ce930a0626aa8a35738917338
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CategoryTree
Gerrit-Branch: master
Gerrit-Owner: PranavK <[email protected]>
Gerrit-Reviewer: Aklapper <[email protected]>
Gerrit-Reviewer: Aude <[email protected]>
Gerrit-Reviewer: Daniel Kinzler <[email protected]>
Gerrit-Reviewer: MtDu <[email protected]>
Gerrit-Reviewer: Nemo bis <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: Ricordisamoa <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
