wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-12 08:35:22 +00:00
Code Issues Packages Projects Releases Wiki Activity
1273 commits 12 branches 26 tags 36 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
Trevor Parscal 81bb906c99 Removed RTL rules and IE6 stuff from toolbar css, ResourceLoader uses CSSJanus to auto-flip the rules, and IE6 is blacklisted anyways. 2011-01-11 23:41:23 +00:00
Renamed from modules/images/toolbar/arrow-right.png (Browse further)