wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-24 07:34:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources
History
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
..
dist Remove redundant wgPopupsShouldSendModuleToUser variable 2019-04-09 18:31:35 +00:00
ext.popups Remove popups from critical rendering path 2018-03-13 08:44:31 -07:00
ext.popups.images svgmin optimizations on updated OOUI icons 2019-04-18 19:21:48 +00:00