wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-13 08:08:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
2749 commits 13 branches 16 tags 69 MiB
Commit graph

2 commits

Author SHA1 Message Date
WMDE-Fisch f8562a89d6 svgmin optimizations on updated OOUI icons 
Icons were updated in I8feea1b526ff85c4ffdee21ef42c616e72881e76 the
pre-commit svgmin optimizer does these minor changes in the two files.

Pushing these to avoid constantly changed but uncommited SVGs in the 
images directory when working.

Change-Id: Ib8a66df12dc692eb356a33815f5aade1983f625c
 2019-04-18 19:21:48 +00:00
Ed Sanders 78cbb02191 Update OOUI icons to latest versions 
* web.svg was deprecated in favour of browser.svg.
* Update sad-face.svg based on OOUI speechBubble-ltr/rtl
* Apply preview-generic/disambiguation grey colour using CSS.

Change-Id: I8feea1b526ff85c4ffdee21ef42c616e72881e76
 2019-04-17 12:11:08 +01:00