wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-09-23 10:21:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Linter
1130 commits 144 branches 0 tags 16 MiB
PHP 99.1%
JavaScript 0.9%
Go to file
Translation updater bot 7732ea5c0b Localisation updates from https://translatewiki.net. 
Change-Id: I4b62b6a993c8231d19aeba7747d953d183ba3d43
2023-11-02 09:59:11 +01:00
.phan
i18n
includes
maintenance
modules
sql
tests/phpunit
.eslintrc.json
.gitignore
.gitreview
.phpcs.xml
CODE_OF_CONDUCT.md
composer.json
COPYING
extension.json
Gruntfile.js
Linter.alias.php
package-lock.json
package.json
README

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.