mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-12-11 23:36:07 +00:00
998d7c4f22
Change-Id: I1af64c55fdd26a2923a1ec20500e97ea13d92bc8 |
||
---|---|---|
.. | ||
ext.popups.animation.less | ||
ext.popups.core.less | ||
ext.popups.settings.less | ||
ext.popups.settings.vector.less |