wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-24 00:06:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../modules/images
History
jenkins-bot a9aeec920d Merge "Revert "Compress PNGs with zopflipng""
2016-02-28 00:29:33 +00:00
..
dialogs Compress PNGs with zopflipng 2016-02-21 00:44:19 +00:00
toolbar Merge "Revert "Compress PNGs with zopflipng"" 2016-02-28 00:29:33 +00:00