wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-13 17:57:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add other primary authors

Browse source 
Change-Id: I8a96898f979c68912188f42e5b9a968656c1a2bf
This commit is contained in:
Kunal Mehta 2017-06-20 14:21:46 -07:00
parent 2a421d80d3
commit 472ac093aa
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
extension.json
View file

@ -3,7 +3,9 @@
"license-name": "GPL-2.0+", "license-name": "GPL-2.0+",
"url": "https://www.mediawiki.org/wiki/Extension:Linter", "url": "https://www.mediawiki.org/wiki/Extension:Linter",
"author": [ "author": [
"Kunal Mehta" "Kunal Mehta",
"Arlo Breault",
"Subramanya Sastry"
], ],
"descriptionmsg": "linter-desc", "descriptionmsg": "linter-desc",
"type": "specialpage", "type": "specialpage",