wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-24 06:24:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
20765 commits 162 branches 1 tag 191 MiB
Commit graph

2 commits

Author SHA1 Message Date
David Lynch 5d6463ebba Edit check config for whether to ignore references in certain sections 
Adds two new configs:
* ignoreSections, array of section names that'll be compared
* ignoreLeadSection, bool for whether to ignore the lead section

Bug: T346949
Depends-On: I7ded925b91b1d86b3c76c4135c85a3f0be1dee5e
Change-Id: I44f18fadcafbe011008d8abff566e2ccd7682f4f
 2023-12-05 15:47:17 +00:00
Ed Sanders 876a947a7b Move EditCheck files to ./editcheck and structure as a sub-extension 
Change-Id: I4085223a93b37e601b3627fc2d6db7978cac820e
 2023-11-28 15:56:43 +00:00