wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-23 10:26:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Set license-name

Browse source 
Change-Id: I197ab648c3e1bdcac8b2dbc6f6ed985b7fd296c7
This commit is contained in:
Kunal Mehta 2015-07-22 22:06:55 -07:00
parent a6d0b4e395
commit 592728483e
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
extension.json
View file

@ -10,6 +10,7 @@
],
"url": "https://www.mediawiki.org/wiki/Extension:WikiEditor",
"descriptionmsg": "wikieditor-desc",
"license-name": "GPL-2.0+",
"type": "other",
"callback": "WikiEditorHooks::onRegistration",
"MessagesDirs": {