4 commits

Author	SHA1	Message	Date
Kunal Mehta	70cc3ac190	Delete linter rows when pages are deleted ... Bug: T151281 Change-Id: I3b113d0729b288683d9bc6c2f552b99ed2890f5c	2016-11-22 18:31:21 -08:00
Kunal Mehta	b41e74ce8b	Hardcode category ids ... Instead of having a complex auto-increment category manager that had additional caching, just hardcode the (currently 6) ids for each category, which allows us to simplify a lot of code. If Parsoid sends a lint error in a category that we don't know about, it is silently dropped. Bug: T151287 Change-Id: Ice6edf1b7985390aa0c1c410d357bc565bb69108	2016-11-22 18:31:17 -08:00
Kunal Mehta	ec6f4722aa	Store linter_cat names in a separate table ... linter_cat is now an int ID that points to a row in the new lint_categories table. The mapping between category names and ids is all handled in PHP, and cached in APC. Note that you will need to drop the `linter` table manually and re-run update.php for this to take effect. Change-Id: I369d9b4d8d08289b4a20d1cd29a2e327bad28ef8	2016-11-03 14:51:10 -07: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