mediawiki-extensions-Popups

wikimedia/mediawiki-extensions-Popups

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-25 16:05:39 +00:00

Commit graph

Author	SHA1	Message	Date
jdlrobson	663218d974	All images are served by ResourceLoaderImageModule This moves the footer icon into the ResourceLoaderImage module providing us a consistent way of serving image assets. This means we no longer need to provide PNGs for icons However, given mw-ui-icon-large is not large enough for the given use case we do have to wrestle with icon styles and override them to get the desired result. I think this is a small price to pay given icons are now discoverable Change-Id: I38b62c01fd930dcbfb73b95e6128885cb483f86e	2018-04-03 16:34:49 -07:00

Author

SHA1

Message

Date

jdlrobson

663218d974

All images are served by ResourceLoaderImageModule

This moves the footer icon into the ResourceLoaderImage module
providing us a consistent way of serving image assets.

This means we no longer need to provide PNGs for icons

However, given mw-ui-icon-large is not large enough for the given
use case we do have to wrestle with icon styles and override them
to get the desired result. I think this is a small price to pay given
icons are now discoverable

Change-Id: I38b62c01fd930dcbfb73b95e6128885cb483f86e

2018-04-03 16:34:49 -07:00

1 commit