jenkins-bot has submitted this change and it was merged.
Change subject: License information
......................................................................
License information
* Adds license label to "Special:Version"
* Makes more visible that only the extension and not the bundled
software is licensed GPL-2.0+
Change-Id: I778212bb96edcc4e10714447b8ef57f8ce87b5ef
---
M COPYING
M extension.json
2 files changed, 11 insertions(+), 0 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/COPYING b/COPYING
index d159169..96e292a 100644
--- a/COPYING
+++ b/COPYING
@@ -1,3 +1,13 @@
+The license text below "====" applies to all files within this distribution,
+other than those that are in a directory which contains files named "LICENSE"
+or "COPYING", or a subdirectory thereof. For those files, the license text
+contained in said file overrides any license information contained in
+directories of smaller depth. Alternative licenses are typically used for
+software that is provided by external parties, and merely packaged with this
+software for convenience.
+
+====
+
GNU GENERAL PUBLIC LICENSE
Version 2, June 1991
diff --git a/extension.json b/extension.json
index 41a91de..d87ea30 100644
--- a/extension.json
+++ b/extension.json
@@ -7,6 +7,7 @@
],
"url": "https://www.mediawiki.org/wiki/Extension:CodeEditor",
"descriptionmsg": "codeeditor-desc",
+ "license-name": "GPL-2.0+",
"type": "other",
"requires": {
"MediaWiki": ">= 1.27.0"
--
To view, visit https://gerrit.wikimedia.org/r/276198
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I778212bb96edcc4e10714447b8ef57f8ce87b5ef
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeEditor
Gerrit-Branch: master
Gerrit-Owner: Kghbln <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: TheDJ <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits