mediawiki-extensions-Echo/includes/Push
Umherirrender 76227585f9 Avoid non-namespaced aliases for Wikimedia\Rdbms namespace
Change-Id: Ic924c72cb06d09bebd42272f204c3666ce62844b
2021-09-18 20:06:54 +02:00
..
NotificationRequestJob.php Push: Bail out of notification job early if no subscriptions found 2020-06-10 15:38:23 -04:00
NotificationServiceClient.php push: send apns topic when present 2020-08-18 13:21:20 +00:00
PushNotifier.php Enable and fix ReturnTypeDeclaration sniff 2021-07-24 04:36:30 +00:00
Subscription.php Add missing @var and improve documentation 2020-12-17 20:55:49 +01:00
SubscriptionManager.php Avoid non-namespaced aliases for Wikimedia\Rdbms namespace 2021-09-18 20:06:54 +02:00
Utils.php Use CentralIdLookupFactory and pass UserIdentity 2021-07-21 19:23:42 -07:00