wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-15 03:35:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../modules/images
History
jenkins-bot b8b79c19ec Merge "Use OOUI icons for advanced format & size tools"
2018-04-03 19:42:23 +00:00
..
dialogs Compress PNGs with zopflipng 2016-02-21 00:44:19 +00:00
toolbar Merge "Use OOUI icons for advanced format & size tools" 2018-04-03 19:42:23 +00:00