wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-27 17:00:37 +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 Use namespaced BetaFeatures class 2021-10-01 06:35:09 +00:00
PopupsGadgetsIntegration.php Use namespaced GadgetRepo 2022-03-06 01:33:08 +00:00
PopupsHooks.php Use HookHandlers and implement hook interfaces 2021-12-20 11:05:19 +00:00
ServiceWiring.php Remove Popups instrumentation 2021-07-29 17:01:01 +00:00