wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-28 01:10:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources
History
Thiemo Kreuz 275a67c730 Make checkboxes use upstream mediawiki.ui.… styles 
This does not fully solve the ticket, as these are not the
actual OOUI styles. But it's already much better than the
unstyled checkboxes before.

Bug: T281227
Change-Id: I9a5023482774c09aa73845ca6dfd1c4926f088e1
2021-04-28 10:37:07 +02:00
..
dist Make checkboxes use upstream mediawiki.ui.… styles 2021-04-28 10:37:07 +02:00
ext.popups Enable Popups module in mobile, use feature detection to enable 2020-04-02 18:23:31 +00:00
ext.popups.images build: Upgrade 'svgo' & re-crush SVGs 2021-04-28 07:28:16 +00:00