Thomas Ip 574c35c0b8 markdown: Render ordered lists using <ol> markup. ... This brings us in line, and also allows us to style these more like unordered lists, which is visually more appealing. On the backend, we now use the default list blockprocessor + sane list extension of python-markdown to get proper list markup; on the frontend, we mostly return to upstream's code as they have followed CommonMark on this issue. Using <ol> here necessarily removes the behaviour of not renumbering on lists written like 3, 4, 7; hopefully users will be OK with the change. Fixes #12822.		2019-09-08 16:42:20 -07:00
..
marked.js	markdown: Render ordered lists using <ol> markup.	2019-09-08 16:42:20 -07:00