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

7 commits

Author SHA1 Message Date
libraryupgrader 7b03ba5e33 build: Updating npm dependencies 
* stylelint-config-wikimedia: 0.6.0 → 0.8.0
* eslint-config-wikimedia: 0.12.0 → 0.15.0
* grunt-eslint: 21.0.0 → 22.0.0
* grunt-stylelint: 0.11.1 → 0.13.0

Additional changes:
* Removing manual reportUnusedDisableDirectives for eslint.

Change-Id: I77f1ff242f95cbc85013d0ae96ddf0d70c1c8cd5
 2020-01-09 15:27:49 +00:00
James D. Forrester 608b0bbb16 build: Upgrade eslint-config-wikimedia 0.12.0, drop grunt-jsonlint 
Change-Id: I2799004a68022deb13a068e491c1bdb48fdebe0c
 2019-05-06 16:22:20 -07:00
Fomafix 67f4de2288 Switch from jshint to eslint 
Change-Id: I4401103dce2ee1558365f46b62a86689521c58a9
 2018-08-28 21:16:54 +02:00
Umherirrender 73dc92fb62 Use json extension for .stylelintrc 
Bug: T173516
Change-Id: I8e963c76fa7af376f410c4e4294f5ada2cb932db
 2017-08-19 09:49:33 +02:00
Umherirrender 7f0c04f2b0 Add stylelint for css files 
Fixed the following rule:
no-missing-end-of-source-newline

Change-Id: I0ba2e411279a101870c89b733dc9315be525c937
 2017-04-17 22:40:02 +02:00
Paladox ad5d35cad6 Add jshint to npm 
Change-Id: I97abe62b1744611d2b5b8b3284b6b257c96a48de
 2016-03-22 12:39:54 +00:00
Kunal Mehta eb23e0689b build: Configure banana-checker and jsonlint 
Change-Id: I0b1fa679610ab68bd971f883a47645d3d4488046
 2015-06-17 12:14:02 -07:00