wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-25 08:15:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
213 commits 164 branches 0 tags 74 MiB
Commit graph

3 commits

Author SHA1 Message Date
Kaldari f519bca628 More formatting work on the overlay and base files 
Change-Id: I8512c317d6c0a3db9e3fd0aa2b58a87f8f276b45
 2012-12-10 18:02:19 -08:00
Reedy 54f0804b7d Losslessly compress PNGs 
Change-Id: Ifb34fa276bac4c05d637e9a04f231918cae7155a
 2012-12-02 21:51:39 +00:00
Kaldari f07d3f6e7a Redoing the notification icons and changing some formatting 
Change-Id: Ida189fc267554f52d3da32d71ea6faf0d9b457f5
 2012-11-26 13:23:03 -08:00