Meta:Push subscription managers

Push subscription managers is a new user group introduced by the MediaWiki extension Echo with .

According to the commit message, it will «allow privileged accounts to purge expired subscriptions from the database on behalf of other users». «This right will be granted to a bot account on Metawiki associated with the Wikimedia push notifications service, and the push notifications service account will make push subscription delete requests to the API for subscriptions for which vendor APIs return bad subscription responses».

This group should exist only on Meta-Wiki. Errors have caused it to appear on all Wikimedia wikis.

• MediaWiki extension Echo.
• Push Notifications Infrastructure.