mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-23 22:13:34 +00:00
5d6463ebba
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 |
||
---|---|---|
.. | ||
ResourceLoaderData.php |