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
Ed Sanders 335f189460 Use OOUI icons for advanced format & size tools 
Bug: T191031
Change-Id: Ifb6c166ecfe082414677420939106d55a5715bb2
2018-03-29 15:53:15 +01:00
..
dialogs Compress PNGs with zopflipng 2016-02-21 00:44:19 +00:00
toolbar Use OOUI icons for advanced format & size tools 2018-03-29 15:53:15 +01:00