wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-09-24 10:49:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/Linter
469 commits 145 branches 0 tags 16 MiB
PHP 99.1%
JavaScript 0.9%
Go to file
Kunal Mehta e41e8e32a4 Drop excess events at the API layer 
Originally we were dropping excess events inside the job queue, but that means
all of the events need to be passed into the job queue...which can cause
problems.

So drop them in the API module. The only other place we construct
RecordLintJob is when an article has been deleted, and those jobs have
no errors since they're all being deleted.

Bug: T202179
Change-Id: I61940280e0dfb99398d9f047d0e66007d91a0241
2018-08-17 20:36:06 -07:00
i18n Localisation updates from https://translatewiki.net. 2018-08-13 22:14:36 +02:00
includes Drop excess events at the API layer 2018-08-17 20:36:06 -07:00
modules Fix NWE integration to use new tempWikitextEditor 2018-01-22 10:28:36 -08:00
tests/phpunit Unbreak CategoryMessagesTest 2018-02-05 21:55:57 -08:00
.eslintrc.json build: Replace jshint/jscs with eslint 2017-05-11 16:24:21 +01:00
.gitignore Initial commit 2016-10-17 16:02:53 -07:00
.gitreview Whoops, track not trace 2016-10-24 17:02:51 -07:00
.phpcs.xml build: Updating mediawiki/mediawiki-codesniffer to 17.0.0 2018-03-28 18:27:27 +00:00
CODE_OF_CONDUCT.md Add CODE_OF_CONDUCT.md 2017-06-07 14:22:42 +04:30
composer.json build: Updating mediawiki/phan-taint-check-plugin to 1.3.0 2018-08-17 03:57:45 +00:00
COPYING Initial commit 2016-10-17 16:02:53 -07:00
extension.json Add IPv6 localhost to default whitelist along with IPv4 localhost 2018-05-01 20:18:06 +00:00
Gruntfile.js build: Always exclude vendor and node_modules 2017-11-11 23:18:05 +00:00
Linter.alias.php Add special page alias for Serbian 2018-08-15 21:55:51 +02:00
linter.sql Remove redundant index 2016-12-05 19:40:27 -08:00
package.json build: Update linters 2018-02-04 22:08: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.