wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-11 23:36:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources/ext.popups/styles
History
Volker E 0c64c25c29 Unify box-sizing to common LESS mixin 
Change-Id: Ifd3e7dd9be68c09b362c0fb8071cd9f27f846505
2017-09-21 15:32:09 -07:00
..
ext.popups.animation.less Remove obsolete vendor prefixed properties and at-rules 2017-07-31 21:39:42 +02:00
ext.popups.core.less Enforce no top&bottom margins on lists on page previews 2017-06-30 20:51:21 +02:00
ext.popups.settings.less Unify box-sizing to common LESS mixin 2017-09-21 15:32:09 -07:00