wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-26 14:43:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
63 commits 15 branches 19 tags 79 MiB
Commit graph

2 commits

Author SHA1 Message Date
Reedy f01f541aee Shrink file size of PNGs (yay, lossless compression) 
Change-Id: Ifb422304127a4479688e9e119ff16b363a0b0abb
 2012-08-01 22:28:29 +01:00
Andrew Garrett e48be3b311 Echo: Replace placeholders with real icons 
Change-Id: I4af816746200bedfbfa16bf4079bd36febc35d96
 2012-08-01 11:35:58 -07:00