wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-25 03:10:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../modules/images
History
jenkins-bot 4b395a27cf Merge "Optimize pngs"
2013-04-02 22:29:35 +00:00
..
dialogs Optimize pngs 2013-03-13 10:04:45 +00:00
templateEditor Optimize pngs 2013-03-13 10:04:45 +00:00
toc Optimize pngs 2013-03-13 10:04:45 +00:00
toolbar Merge "Optimize pngs" 2013-04-02 22:29:35 +00:00