mediawiki.ui: Optimize image files
authorBartosz Dziewoński <matma.rex@gmail.com>
Wed, 26 Nov 2014 23:58:58 +0000 (00:58 +0100)
committerBartosz Dziewoński <matma.rex@gmail.com>
Wed, 26 Nov 2014 23:58:58 +0000 (00:58 +0100)
commit7693effd702d0583d53e52cc7501d8c03e10ffcd
treeba14465bc5643a0c5e94dfd7cf582f622390eb22
parenta586c22aeb19d3244a7ac17ff665db380071e27b
mediawiki.ui: Optimize image files

Ran svgo 0.5 on all SVG files, tweaked things by hand.

Ran pngcrush on all PNG files.

Change-Id: I1b80ed3a9f4112521f94e32986f24b4a29c2a5a7
resources/src/mediawiki.ui/components/images/checked.svg
resources/src/mediawiki.ui/components/images/checked_disabled.png
resources/src/mediawiki.ui/components/images/checked_disabled.svg
resources/src/mediawiki.ui/components/images/ok.png
resources/src/mediawiki.ui/components/images/ok.svg
resources/src/mediawiki.ui/components/images/radio_checked.png
resources/src/mediawiki.ui/components/images/radio_checked.svg
resources/src/mediawiki.ui/components/images/radio_disabled.png
resources/src/mediawiki.ui/components/images/radio_disabled.svg