wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-29 05:16:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../tests/cases/mixed-indentation
History
Ed Sanders 4a0802065c Make IDs (to be used as URL hashes) wikitext safe 
* Use hyphens instead of pipes a separators
* Use underscores for spaces in usernames

Change-Id: I6efd9739fc73e45002e50e64c43ce0de1c2f1239
2021-03-18 20:45:21 +01:00
..
mixed-indentation-modified.html Make IDs (to be used as URL hashes) wikitext safe 2021-03-18 20:45:21 +01:00
mixed-indentation.html Fix indentation level when replying to comments with mixed indentation 2020-08-06 01:25:33 +02:00