wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-25 11:18:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../modules/images/toc
History
Niklas Laxström 31459ac555 Optimize pngs 
Change-Id: Ic732069c0f25d4f5cdd0f1b890dc1b86aeb6c1ee
2013-03-13 10:04:45 +00:00
..
close.png Optimize pngs 2013-03-13 10:04:45 +00:00
grab.png Optimize pngs 2013-03-13 10:04:45 +00:00
grip.png Optimize pngs 2013-03-13 10:04:45 +00:00
open.png Optimize pngs 2013-03-13 10:04:45 +00:00