wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-30 00:55:00 +00:00
Code Issues Packages Projects Releases Wiki Activity
4975 commits 13 branches 17 tags 198 MiB
Commit graph

2 commits

Author SHA1 Message Date
Niklas Laxström 5957065043 Optimise png images with optipng 
Change-Id: Id014ad0a0aa99c9440360e32d2e10bc99fa64738
 2013-07-05 09:47:12 +00:00
Trevor Parscal 4c9b1d6035 Icon improvements 
* Added some new icons (to be used soon in the inspector redesign)
* Added right-to-left icons for lists
* Renamed some icons for future RTL use

Change-Id: I10e3e3fcda82786e3064176e7eefe211b88db95c
 2012-09-26 14:53:11 -07:00