Jump to content
Wikimedia Meta-Wiki

Meta:Push subscription managers

From Meta, a Wikimedia project coordination wiki
Other languages:
Push subscription managers
This page offers information about the push subscription managers user group.

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

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».[1]

This group should exist only on Meta-Wiki. Errors have caused it to appear on all Wikimedia wikis.[2] [3] [4] [5]

References

[edit ]

See also

[edit ]
Local
groups
On Meta
Without global effects
With global effects
On some wikis
On one wiki
(except Meta)
Cross-wiki
Historical groups
Global
groups
Links in italic are separate account statuses that are not assigned through user groups.
See also: Wikimedia user groups

AltStyle によって変換されたページ (->オリジナル) /