mediawiki-extensions-Discus.../tests/cases/mixed-indentation
Bartosz Dziewoński 9ee0fd69f5 Allow headings to have IDs
Previously, only comments could have IDs, because we only needed IDs
for replying. But we might also use them for notifications soon.

Bug: T264478
Change-Id: I1bcad02bf17ab54bc5028a959543c10f0430836b
2020-10-22 02:04:28 +02:00
..
mixed-indentation-modified.html Allow headings to have IDs 2020-10-22 02:04:28 +02:00
mixed-indentation.html Fix indentation level when replying to comments with mixed indentation 2020-08-06 01:25:33 +02:00