wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-12 09:24:59 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Linter/includes
History
Kunal Mehta 8e2d4e42ee Use INSERT IGNORE when putting new lint errors in the database 
The most likely scenario of duplicate key errors is that it's the exact
same lint error and there's just a race condition when calculating which
new errors need to be inserted, so just ignore them.

Follows-up 419610bcdb.

Change-Id: I84749ab221bbd517b474be8875bb6a59e4f3258e
2016-12-02 15:54:02 -08:00
..
ApiQueryLintErrors.php Enforce category/page/position uniqueness constraint in the database 2016-11-30 18:55:19 -08:00
ApiRecordLint.php Enforce category/page/position uniqueness constraint in the database 2016-11-30 18:55:19 -08:00
CategoryManager.php Hardcode category ids 2016-11-22 18:31:17 -08:00
Database.php Use INSERT IGNORE when putting new lint errors in the database 2016-12-02 15:54:02 -08:00
Hooks.php Delete linter rows when pages are deleted 2016-11-22 18:31:21 -08:00
LintError.php Remove unused LintError::equals() 2016-12-02 07:56:19 -08:00
LintErrorsPager.php Enforce category/page/position uniqueness constraint in the database 2016-11-30 18:55:19 -08:00
RecordLintJob.php Enforce category/page/position uniqueness constraint in the database 2016-11-30 18:55:19 -08:00
SpecialLintErrors.php SpecialLintErrors: Implement getSubpagesForPrefixSearch() 2016-11-22 18:31:21 -08:00