mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-23 23:44:53 +00:00
15d48278be
Creates a EchoPushMaxSubscriptionsPerUser config setting (default: 0) that controls the maximum number of subscriptions a user may associate with the user's central user ID. The setting is enforced in EchoPush\SubscriptionManager::create(). To allow creating push subscriptions for development, set $wgEchoPushMaxSubscriptionsPerUser to a positive integer value in LocalSettings.php: $wgEchoPushMaxSubscriptionsPerUser = 10; Bug: T259150 Change-Id: Ib97b6b6cbb8161dd75dad92c54b4fe4fff80c421 |
||
---|---|---|
.. | ||
NotificationRequestJob.php | ||
NotificationServiceClient.php | ||
PushNotifier.php | ||
Subscription.php | ||
SubscriptionManager.php |