mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-12-02 20:16:41 +00:00
0024a94ba7
Depends-On: I90656cc74bb1cb1f2f3c82ad51cfb164cb8a4a4b Bug: T296801 Change-Id: I84187b303aa10a242c872088403f808df3d1f940 |
||
---|---|---|
.. | ||
1simple-example | ||
2archived-section | ||
3indistinguishable-comments | ||
4transcluded-section | ||
5changed-comment-indentation | ||
6changed-heading-level |