wikimedia/mediawiki-extensions-VisualEditor

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-22 11:02:58 +00:00

Commit graph

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

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

2 commits