jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/368394 )
Change subject: Set license-name in extension.json ...................................................................... Set license-name in extension.json Information from https://www.mediawiki.org/w/index.php?title=Extension:Listings&oldid=2268142 Bug: T123943 Change-Id: I883cf1a11da310d7cd99a8a524e627eb332f0bb3 --- M extension.json 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: jenkins-bot: Verified Jforrester: Looks good to me, approved diff --git a/extension.json b/extension.json index 4f0b2f7..0a88eef 100644 --- a/extension.json +++ b/extension.json @@ -3,6 +3,7 @@ "version": "1.2.0", "author": "Roland Unger", "url": "https://www.mediawiki.org/wiki/Extension:Listings";, + "license-name": "GPL-2.0+", "descriptionmsg": "listings-desc", "type": "parserhook", "Hooks": { -- To view, visit https://gerrit.wikimedia.org/r/368394 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I883cf1a11da310d7cd99a8a524e627eb332f0bb3 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Listings Gerrit-Branch: master Gerrit-Owner: Umherirrender <[email protected]> Gerrit-Reviewer: Jforrester <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
