wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-09-23 10:21:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/includes
History
Fomafix 76e2339cec Inject service UserOptionsManager in Hooks 
Change-Id: I690699210c041f950a076904b863bc014833e5ad
2022-12-15 22:13:23 +00:00
..
PopupsContext.php Inject service SpecialPageFactory 2022-11-05 09:28:08 +00:00
PopupsGadgetsIntegration.php Use namespaced GadgetRepo 2022-03-06 01:33:08 +00:00
PopupsHooks.php Inject service UserOptionsManager in Hooks 2022-12-15 22:13:23 +00:00
ServiceWiring.php Inject service SpecialPageFactory 2022-11-05 09:28:08 +00:00