wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 14:56:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

License information

Browse source 
* 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
This commit is contained in:
Kghbln 2016-03-09 17:26:14 +01:00
parent e10ed30111
commit ab06a36cd0
2 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
COPYING
View file

@ -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 GNU GENERAL PUBLIC LICENSE
Version 2, June 1991 Version 2, June 1991

1
extension.json
View file

@ -7,6 +7,7 @@
], ],
"url": "https://www.mediawiki.org/wiki/Extension:CodeEditor", "url": "https://www.mediawiki.org/wiki/Extension:CodeEditor",
"descriptionmsg": "codeeditor-desc", "descriptionmsg": "codeeditor-desc",
"license-name": "GPL-2.0+",
"type": "other", "type": "other",
"requires": { "requires": {
"MediaWiki": ">= 1.27.0" "MediaWiki": ">= 1.27.0"