mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-28 18:21:50 +00:00
91af0594b5
This includes the dtrepliedto URL functionality from I3f81e4d77faed367606e47678b8896051982359d. Bug: T274831 Bug: T274832 Bug: T277329 Change-Id: I035d04f30c8312b0cb42902d3bf940df1482ffb3
120 lines
14 KiB
XML
120 lines
14 KiB
XML