Meta:Push subscription managers/pt
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.
De acordo com a mensagem de confirmação, ele «permitirá que contas privilegiadas expurguem assinaturas expiradas do banco de dados em nome de outros usuários». «Este direito será concedido a uma conta de bot no metawiki associada ao serviço de notificações push da Wikimedia, e a conta do serviço de notificações push fará solicitações de exclusão de assinatura push para a API para assinaturas para as quais as APIs do fornecedor retornam respostas de assinatura ruins».[1]
Este grupo deve existir apenas no Meta-Wiki. Erros fizeram com que ele aparecesse em outros wikis da Wikimedia. [2][3][4][5]
References
- ↑ Holloway, Michael D. (August 24, 2020). "Gerrit patch # 619570: Create push subscription manager group/right to clean up dead subs".
- ↑ MarcoAurelio (August 31, 2020). "Phabricator Task T261625: Limit the new "push subscription managers" user group to metawiki".
- ↑ Id. (August 31, 2020). "Gerrit patch #623370: CommonSettings.php: limit new Echo's `push-subscription-manager` group to Meta-Wiki".
- ↑ Urbanec, Martin (August 31, 2020). "Gerrit patch #623435: Follow-up for a1b0d6e: Get $wgDBname in Echo's ext function".
- ↑ Tarefa de fevereiro de 2021 explica por que isso continua reaparecendo em todos os projetos.