wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-19 10:41:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/includes
History
Umherirrender 7b7063ed48 Use namespaced ExtensionRegistry class 
Change-Id: I3918af0ae84c9304e64c64f800e28b51e59b1136
2024-10-20 11:15:48 +02:00
..
PopupsContext.php Use namespaced ExtensionRegistry class 2024-10-20 11:15:48 +02:00
PopupsGadgetsIntegration.php Remove obsolete ReferenceTooltips gadget checks 2024-10-07 20:03:03 +02:00
PopupsHooks.php Use namespaced ExtensionRegistry class 2024-10-20 11:15:48 +02:00
ServiceWiring.php Use namespaced ExtensionRegistry class 2024-10-20 11:15:48 +02:00