Bianca Nenciu 96a16123d8
FIX: Generate unique HTML heading names (#12705)
Headings with the exact same name generated exactly the same heading
names, which was invalid. This replaces the old code for generating
names for non-English headings which were using URI encode and resulted
in unreadable headings.
2021-04-16 10:54:19 +03:00
..
2021-01-27 12:39:20 +01:00
2020-10-28 13:22:06 +11:00
2020-10-28 13:22:06 +11:00
2021-01-27 12:39:20 +01:00
2021-01-27 12:39:20 +01:00
2021-01-27 12:39:20 +01:00
2021-01-27 12:39:20 +01:00
2020-10-28 13:22:06 +11:00