wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-14 19:35:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../images
History
Ed Sanders 9b19b32fc0 Compress emptystate.svg with svgo 
14k -> 9k

Change-Id: Iec26b332627d8084f511edfbb69505b045ab6939
2021-10-04 12:56:20 +01:00
..
betafeatures-icon-DiscussionTools-ltr.svg
betafeatures-icon-DiscussionTools-rtl.svg
emptystate.svg Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00