wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-25 11:17:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
184 commits 155 branches 0 tags 71 MiB
Commit graph

3 commits

Author SHA1 Message Date
Kaldari f07d3f6e7a Redoing the notification icons and changing some formatting 
Change-Id: Ida189fc267554f52d3da32d71ea6faf0d9b457f5
 2012-11-26 13:23:03 -08:00
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