mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-12-01 02:36:35 +00:00
d9d2be5de4
Also fix typos in config file. Bug: T161829 Change-Id: I91fd695ab9d2e4b142c67884f5e8c83f3142d240 |
||
---|---|---|
.. | ||
PopupsContext.php | ||
PopupsGadgetsIntegration.php | ||
PopupsHooks.php |