wikimedia/mediawiki-extensions-Linter: Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Linter

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-09-24 02:39:28 +00:00

Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Linter

Go to file

jenkins-bot 3a9b764315 Merge "build: Updating npm dependencies"		2019-10-22 09:51:27 +00:00
.phan	Add phan	2019-03-08 22:11:29 +01:00
i18n	Localisation updates from https://translatewiki.net .	2019-10-21 09:59:44 +02:00
includes	build: Bump mediawiki-phan-config to 0.8.0	2019-10-20 12:16:57 +00:00
modules	Handle VisualEditor when it skips the "tempWikitextEditor" stage	2019-06-11 17:29:29 +02:00
sql	Move sql file into own folder	2019-03-08 21:41:35 +01:00
tests/phpunit	tests: getMock() is deprecated	2019-10-21 22:15:34 -07:00
.eslintrc.json	build: Updating npm dependencies	2019-10-22 05:11:03 +00:00
.gitignore	build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0	2019-04-03 16:06:08 -07:00
.gitreview	Whoops, track not trace	2016-10-24 17:02:51 -07:00
.phpcs.xml	build: Upgrade mediawiki-codesniffer to v28.0.0	2019-10-11 10:34:45 -07:00
CODE_OF_CONDUCT.md	build: Updating mediawiki/phan-taint-check-plugin to 1.3.0	2018-08-17 07:39:01 +00:00
composer.json	build: Bump mediawiki-phan-config to 0.8.0	2019-10-20 12:16:57 +00:00
COPYING	Initial commit	2016-10-17 16:02:53 -07:00
extension.json	Split apihelp messages to a separate file	2019-07-04 15:38:00 +03:00
Gruntfile.js	build: Upgrade eslint-config-wikimedia from 0.10.1 to 0.11.0	2019-04-03 16:06:08 -07:00
Linter.alias.php	Translate special page to Czech	2019-04-05 07:44:28 +00:00
package-lock.json	build: Updating npm dependencies	2019-10-22 05:11:03 +00:00
package.json	build: Updating npm dependencies	2019-10-22 05:11:03 +00:00
README	Initial commit	2016-10-17 16:02:53 -07:00

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.