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

4 commits

Author SHA1 Message Date
C. Scott Ananian 551a1fb398 Allow Parsoid to provide category ID hints 
This eases deployment dependencies by allowing Parsoid to supply an
appropriate database category ID so that new lint categories can be
appropriately stored during the interval between adding a new lint
category to Parsoid and deploying an Extension:Linter patch to
describe it.

Change-Id: Ib7b2342168fa53ca2abac7d5f54fe313be341eb7
 2019-12-03 23:26:34 -05:00
Max Semenik c87c38eb20 tests: getMock() is deprecated 
Bug: T192167
Change-Id: I0513626d69ee7fbfac40f3d648865e7bb9e23421
 2019-10-21 22:15:34 -07:00
Kunal Mehta 5bea96cb43 Mark RecordLintJobTest as Broken 
Change-Id: I3fa2cd4049a3d4ba3065b56343e63ab0b093ee94
 2019-06-07 12:27:38 -04:00
Kunal Mehta fa56bafacf Add basic integration tests for RecordLintJob 
Change-Id: I6852d41f481282750b690b2e8122dcb224b4a107
 2016-12-02 08:11:16 -08:00