wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-15 03:23:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeEd.../images
History
Derk-Jan Hartman 75c3370783 Revert "Compress PNGs with zopflipng" 
This reverts commit a939687c6e.
This reverts commit d5b7236197.

Bug: T127644
Change-Id: I461a9b199757313f397a6656fbcd6aefb24c2b19
2016-02-23 21:49:43 +01:00
..
clear.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00
editor-off.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00
editor.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00
gotoline.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00
help.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00
indent.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00
markup-off.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00
markup.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00
outdent.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00
search-replace.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00
shortcuts.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00
wrapping-off.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00
wrapping.png Revert "Compress PNGs with zopflipng" 2016-02-23 21:49:43 +01:00