mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-28 09:20:31 +00:00
2988a6e620
Lets keep all extenion PHP files in one folder Change-Id: I225019b895df038c1d43a082ac4244053d0b96dd |
||
---|---|---|
.. | ||
PopupsContext.php | ||
PopupsGadgetsIntegration.php | ||
PopupsHooks.php |