wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-11 15:27:04 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources/dist
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
..
.eslintrc.json build: Update eslint-config-wikimedia to 0.16.2 2020-06-26 17:05:56 +01:00
index.js Make checkboxes use upstream mediawiki.ui.… styles 2021-04-28 10:37:07 +02:00
index.js.map.json Make checkboxes use upstream mediawiki.ui.… styles 2021-04-28 10:37:07 +02:00