mediawiki-extensions-CodeMi.../resources/modules
Thiemo Kreuz (WMDE) 0268f68170 Revert "Lower maxHighlightLineLength limit to 5000"
This does not have an effect any more with all the other
optimizations in place.

This reverts commit 094f20902c.

Bug: T274369
Change-Id: I288039a35270093bd22b5a073e70f6b769088c13
2021-02-10 16:19:10 +00:00
..
ve-cm Revert "Lower maxHighlightLineLength limit to 5000" 2021-02-10 16:19:10 +00:00