mediawiki-extensions-CodeMi.../resources/dist
bhsd b4e762bd99 improve treatment of lists at start of line
In the parser, '*', '#', ';' and ':' can actually become nested lists (<ul>, <ol>, <dt> and <dd>) in any possible combinations. This patch does not yet support the `; dt : dd` syntax.

This patch also fixes the 'Unknown highlighting tag undefined' warning.

Bug: T184272
Bug: T170042
Change-Id: I13cc55fadbc9b03fd7c70eab123f7e378d52898d
2024-01-19 00:36:54 +08:00
..
main.js improve treatment of lists at start of line 2024-01-19 00:36:54 +08:00
main.js.map.json improve treatment of lists at start of line 2024-01-19 00:36:54 +08:00