mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-23 23:24:39 +00:00
14c2102476
Some inline compatibility queries for the maintainers, where it wasn't obviously intentional. Change-Id: Idd659a0a0f7fb86c3f6870b8fe4608bbf8a45f05 |
||
---|---|---|
.. | ||
dist | ||
ext.popups | ||
ext.popups.images |