mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-24 07:34:11 +00:00
e3de26ebfe
It's a complicated query, we should not repeat it when not necessary. Change-Id: I71d47de088afa7dab0a6eaed214c61db699fcd0c |
||
---|---|---|
i18n | ||
resources | ||
.gitreview | ||
.jshintrc | ||
COPYING | ||
popups-ltr.svg | ||
popups-rtl.svg | ||
Popups.hooks.php | ||
Popups.i18n.php | ||
Popups.php |