wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-05 14:12:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
5742 commits 160 branches 1 tag 189 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