wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-24 16:26:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
1308 commits 163 branches 6 tags 33 MiB
Commit graph

1 commit

Author SHA1 Message Date
Kunal Mehta 8ffaace14b build: Configure banana-checker and jsonlint 
Change-Id: If03ad206dc0a499935dc9fa66c12a788a01081af
 2015-06-22 16:29:10 -07:00