6 commits

Author	SHA1	Message	Date
libraryupgrader	ed09243414	build: Updating mediawiki/mediawiki-phan-config to 0.5.0 ... Change-Id: Ie148b252691261b9023a75504cbe14d51ba9e58c	2019-03-10 19:08:40 -07:00
Umherirrender	e649f3029b	Fix type of LintError->templateInfo ... Change-Id: I2be1d59463ec42ab8955235c83516b2f6a1be276	2019-03-08 20:06:48 +01:00
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