wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-01 02:36:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
430 commits 12 branches 16 tags 68 MiB
Commit graph

1 commit

Author SHA1 Message Date
Kunal Mehta 47d5daf74d build: Configure banana-checker and jsonlint 
Change-Id: Id3f1d601f6b99e9646c7a1c6b430b1dd777e952b
 2015-06-19 22:09:03 -07:00