wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-02 19:26:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/includes
History
Reedy b6eb2627ff Use namespaced GadgetRepo 
Change-Id: Ibaa24dc0bf02b0d1cbe4e66a8a4efc47896d0fb9
2022-03-06 01:33:08 +00:00
..
PopupsContext.php
PopupsGadgetsIntegration.php
PopupsHooks.php
ServiceWiring.php