wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-12-01 02:06:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
587 commits 11 branches 25 tags 12 MiB
Commit graph

4 commits

Author SHA1 Message Date
Paladox ad5d35cad6 Add jshint to npm 
Change-Id: I97abe62b1744611d2b5b8b3284b6b257c96a48de
 2016-03-22 12:39:54 +00:00
Kunal Mehta 2e05bd6df9 build: Updating development dependencies 
* grunt-jsonlint: 1.0.4 → 1.0.7

Change-Id: Ibe77d003d72ce475ae32020c9bcae8efe4db5eb5
 2015-12-29 11:33:03 -08:00
Kunal Mehta ecbecc678d build: Updating development dependencies 
* grunt-banana-checker: 0.2.2 → 0.4.0

Change-Id: Ic492f9fe2ae22aa03325887dd1d749bb6606d0a3
 2015-10-11 11:48:22 -04:00
Kunal Mehta eb23e0689b build: Configure banana-checker and jsonlint 
Change-Id: I0b1fa679610ab68bd971f883a47645d3d4488046
 2015-06-17 12:14:02 -07:00