wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-12-17 17:50:38 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/includes
History
jenkins-bot d8e4500700 Merge "Improve PHP code"
2024-04-16 16:23:40 +00:00
..
PopupsContext.php Improve PHP code 2024-04-16 08:35:08 +00:00
PopupsGadgetsIntegration.php Use namespaced classes 2024-01-05 22:41:45 +01:00
PopupsHooks.php Remove deprecated copy of referencePreviews module 2024-04-15 10:44:48 +02:00
ServiceWiring.php Add return type hint to functions in ServiceWiring.php 2024-02-01 19:18:16 +01:00