wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-19 03:11:29 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/Push
History
jenkins-bot e6a51beca1 Merge "Avoid event insertion if possible"
2024-10-30 15:06:30 +00:00
..
Api Use namespaced classes 2024-10-20 00:55:03 +02:00
NotificationRequestJob.php
NotificationServiceClient.php Pass function name to HttpRequestFactory::create 2024-09-19 22:48:37 +02:00
PushNotifier.php Merge "Avoid event insertion if possible" 2024-10-30 15:06:30 +00:00
Subscription.php Remove obsolete PHPDoc copies from fully typed constructors 2024-08-11 18:05:01 +02:00
SubscriptionManager.php Use explicit nullable type on parameter arguments (for PHP 8.4) 2024-10-26 15:05:13 +02:00
Utils.php