wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-15 20:09:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
840 commits 162 branches 6 tags 33 MiB
Commit graph

3 commits

Author SHA1 Message Date
Niklas Laxström 31459ac555 Optimize pngs 
Change-Id: Ic732069c0f25d4f5cdd0f1b890dc1b86aeb6c1ee
 2013-03-13 10:04:45 +00:00
Sam Reed 0514d49717 More image compression for extensions 2012-03-01 02:24:49 +00:00
Jan Paul Posma 6e998359f0 Fixes bug 24088: WikiEditor toolbar RTL icons 2011-04-25 12:26:20 +00:00