mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-15 03:34:03 +00:00
6fab3c9ca4
* Load the close icon (previously was not loaded) * Take opportunity to simplify selectors in setting panel and remove unnecessary id selectors * Correct size of header to be consistent with mediawiki ui icon Note: there's a slight movement in the heading text's position presumably due to inconsistiencies between the text inside the Done/Save buttons Bug: T154645 Change-Id: Icd978b45051c43f24ee1c9a8574a961b942082f1 |
||
---|---|---|
.. | ||
ext.popups.core.less | ||
ext.popups.settings.less |