mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter
synced 2024-11-23 15:36:52 +00:00
0937838f1e
This ensures that all parsoid parses are accounted for in our statistics. In the future we might want to query the cache for an existing 'dirty' parse in this codepath to potentially allow for selective update, but for now assume that selective updates are not possible here. Bug: T371713 Depends-On: I5b8c7ab48d5a1d6c1e311149fcac6abdc523aa13 Change-Id: I391e928175f60a1ff2e5c181e20ed72efe4dfd66 |
||
---|---|---|
.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 |
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.