mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-11-23 16:06:53 +00:00
9b19b32fc0
14k -> 9k Change-Id: Iec26b332627d8084f511edfbb69505b045ab6939 |
||
---|---|---|
.. | ||
betafeatures-icon-DiscussionTools-ltr.svg | ||
betafeatures-icon-DiscussionTools-rtl.svg | ||
emptystate.svg |