mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-28 01:30:05 +00:00
45b4bf6382
Instead of just including the error category names, include the number of errors each category has, to make it easier to collect aggregate stats. This changes the structure from an array to an object, in JSON, but I'm not aware of any clients using these specific fields yet. Change-Id: Iaf942b923a0f4047721055ad9cb48aacc5aa6784 |
||
---|---|---|
i18n | ||
includes | ||
modules | ||
tests/phpunit | ||
.gitignore | ||
.gitreview | ||
.jscsrc | ||
.jshintignore | ||
.jshintrc | ||
composer.json | ||
COPYING | ||
extension.json | ||
Gruntfile.js | ||
Linter.alias.php | ||
linter.sql | ||
package.json | ||
phpcs.xml | ||
README |
Extension to help lint wiki pages. Currently designed to take advantage of Parsoid's linter, could also be extended to linting JS or CSS in the future.