wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-13 00:19:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/includes/Push
History
Umherirrender 76227585f9 Avoid non-namespaced aliases for Wikimedia\Rdbms namespace 
Change-Id: Ic924c72cb06d09bebd42272f204c3666ce62844b
2021-09-18 20:06:54 +02:00
..
NotificationRequestJob.php
NotificationServiceClient.php
PushNotifier.php Enable and fix ReturnTypeDeclaration sniff 2021-07-24 04:36:30 +00:00
Subscription.php
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