mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-23 23:24:39 +00:00
551f923e64
Change-Id: Idd2b8fe0a8a9e030df8668c1ca0d855e19333789 |
||
---|---|---|
.. | ||
ext.popups.core.js | ||
ext.popups.core.less |