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
..
2020-12-01 15:31:26 -03:00
2020-12-01 15:31:26 -03:00
2020-12-01 15:31:26 -03:00
2020-12-01 15:31:26 -03:00
2020-12-01 15:31:26 -03:00
2021-01-27 12:39:20 +01:00
2021-01-27 12:39:20 +01:00
2020-12-01 15:31:26 -03:00
2021-02-26 07:44:52 -05:00
2021-01-27 12:39:20 +01:00
2021-03-04 16:46:22 -05:00
2020-12-01 15:31:26 -03:00
2020-12-01 15:31:26 -03:00
2021-03-17 16:11:40 +03:00
2020-12-01 15:31:26 -03:00
2020-12-01 15:31:26 -03:00
2020-12-11 11:16:51 -05:00
2020-12-01 15:31:26 -03:00
2020-12-01 15:31:26 -03:00
2021-03-22 11:35:51 +11:00
2020-12-01 15:31:26 -03:00
2020-12-01 15:31:26 -03:00
2021-04-16 10:54:19 +03:00
2021-02-15 21:47:30 +05:30
2020-12-01 15:31:26 -03:00
2020-12-01 15:31:26 -03:00
2020-12-01 15:31:26 -03:00
2020-12-01 15:31:26 -03:00
2021-02-01 09:03:41 +10:00
2021-02-15 21:47:30 +05:30
2020-12-01 15:31:26 -03:00
2021-01-27 12:39:20 +01:00
2020-12-01 15:31:26 -03:00
2020-12-01 15:31:26 -03:00
2021-01-27 12:39:20 +01:00