wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-28 01:30:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
616 commits 11 branches 11 tags 18 MiB
Commit graph

6 commits

Author SHA1 Message Date
libraryupgrader e957883fba build: Updating npm dependencies 
* eslint-config-wikimedia: 0.14.3 → 0.15.0
* grunt-eslint: 21.0.0 → 22.0.0

Additional changes:
* Removing manual reportUnusedDisableDirectives for eslint.

Change-Id: I5c7c448c66f5c89d4d541c39b70c618f4e9b2903
 2020-01-07 02:58:57 +00:00
James D. Forrester da89d77278 build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0 
Change-Id: I17a163c3dd6d708b05d41786dce3dc9881250969
 2019-04-03 16:06:08 -07:00
Ed Sanders 2e3f4ee488 build: Update eslint-config-wikimedia to 0.10.1 
Change-Id: I6299e2c479fe4106d180f6969f0abda291c51819
 2019-02-10 16:06:13 +00:00
Umherirrender 1e240e0b5c build: Always exclude vendor and node_modules 
Change-Id: I0f1727d6248d7cf0c818ba14f5c94d0d7973aa46
 2017-11-11 23:18:05 +00:00
Ed Sanders 8415ede5af build: Replace jshint/jscs with eslint 
Change-Id: I7ba96e9ea01dd833235caf138c3ae9a9058ea22f
 2017-05-11 16:24:21 +01:00
Kunal Mehta bce5b31616 Initial commit 
This configures a MediaWiki extension to recieve Parsoid's lint errors
and expose them to users.

Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
 2016-10-17 16:02:53 -07:00