wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-13 17:56:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/includes
History
jenkins-bot a5ab05be4e Merge "Directly access the properties with non-static functions"
2024-07-21 09:38:02 +00:00
..
PopupsContext.php Improve PHP code 2024-04-16 08:35:08 +00:00
PopupsGadgetsIntegration.php Use service 'GadgetsRepo' instead of deprecated GadgetRepo::singleton() 2024-07-03 07:19:28 +00:00
PopupsHooks.php Directly access the properties with non-static functions 2024-06-29 19:20:27 +00:00
ServiceWiring.php Use service 'GadgetsRepo' instead of deprecated GadgetRepo::singleton() 2024-07-03 07:19:28 +00:00