wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-25 00:05:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
255 commits 154 branches 0 tags 18 MiB
Commit graph

4 commits

Author SHA1 Message Date
Kunal Mehta 81ef6878af Include location in LintError::id() 
Since it's no longer in $this->params, we need to explicitly include it.

Change-Id: I45f26db061f02066aa03a501dc022bf33e2c096e
 2016-12-02 16:15:17 -08:00
Kunal Mehta a50398d4ce Remove unused LintError::equals() 
Change-Id: I0d0d743119fee8a95627c365e1b2f45b8fcf67e7
 2016-12-02 07:56:19 -08:00
Kunal Mehta 419610bcdb Enforce category/page/position uniqueness constraint in the database 
Move location to two separate columns in the database: linter_start and
linter_end. This allows us to have the database enforce the uniqueness
of those fields, instead of just relying upon the PHP code to do so,
which could be bypassed since we have multiple servers and concurrent
processes.

Change-Id: I3e67ce1b7cb3c93866a388ec3248af4cff2a81e0
 2016-11-30 18:55:19 -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