wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-12-18 10:52:03 +00:00
Code Issues Packages Projects Releases Wiki Activity
30 commits 13 branches 11 tags 19 MiB
Commit graph

2 commits

Author SHA1 Message Date
Kunal Mehta 9ecf62ead3 Update lint errors via the job queue 
The job queue will allow us to have better flood control and rate
limiting instead of trying to do all the database writes as soon as
parsoid contacts MediaWiki.

On the downside, this means it may take longer for changes to be
reflected in the database and to users, but we already have no promise
for that, so it seems okay.

Note that if you don't have a job queue runner set up, you'll need to
run the runJobs.php script every time to have the jobs execute.

Change-Id: I25fd54734aca4dab09711e7f6aee027654931300
 2016-11-15 11:31:45 -08:00
Kunal Mehta bce5b31616 Initial commit 
This configures a MediaWiki extension to recieve Parsoid's lint errors
and expose them to users.

Change-Id: Ie0776aecf145eb1c87c2a539ddf3ea8d35a899f5
 2016-10-17 16:02:53 -07:00