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

2 commits

Author SHA1 Message Date
zoranzoki21 63e3150ab6 Fix bunch of PHPCS errors 
Change-Id: I58b4f8b951d3bb7ce73ce2f14faf6a0f76963345
 2021-04-17 13:42:01 +02:00
Kunal Mehta 35a2ba9a6c Add API meta=linterstats module 
This module just exposes the number of lint errors in each category for
tools that want to collect statistics and stuff. It's currently under a
'totals' key to give us more flexibility if we want to add other
information in the future.

Change-Id: Iad5136a6a5989ce5bcb1a00a4f82f49a397e0170
 2017-06-06 10:02:49 -07:00