wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-15 11:46:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
616 commits 279 branches 0 tags 65 MiB
Commit graph

3 commits

Author SHA1 Message Date
Paladox c8c37b8af4 Update Gruntfile.js 
Target all JS files, not just the ones in resources.

Change-Id: I036360365ebbd5e5654b5a74694e2656e63e56e6
 2015-10-26 08:49:33 +00:00
Prateek Saxena 6eef4f325b Add jscs and jshint tasks to the Gruntfile 
Adds the jscs and jshint packages for development and their tasks in
Grunt. Also fixes all the code convention errors.

Change-Id: If1c9dfdbe22d4912d78b6a51b1292866970a85cc
 2015-09-04 13:57:52 +05:30
Kunal Mehta 47d5daf74d build: Configure banana-checker and jsonlint 
Change-Id: Id3f1d601f6b99e9646c7a1c6b430b1dd777e952b
 2015-06-19 22:09:03 -07:00