Meta:プッシュ・サブスクリプション取扱者
このページでは、プッシュ・サブスクリプション取扱者について説明しています。
プッシュ・サブスクリプション取扱者は、新しい利用者グループで、Echoと共に2020年8月に導入されました。
コミット・メッセージによると、これは«特権アカウントが他のユーザーに代わってデータベースから期限切れのサブスクリプションをパージすることを可能にする»だろう。«この権利はウィキメディアプッシュ通知サービスに関連付けられているmetawiki上のボットアカウントに付与されるだろう、そしてそのプッシュ通知サービスアカウントは、ベンダーAPIが不適切なサブスクリプション応答を返すサブスクリプションについては、APIに対してプッシュサブスクリプションの削除リクエストを行うだろう»。[1]
このグループはMeta-Wiki上にのみ存在する必要があります。エラーにより他のウィキメディアWikiにも表示されるようになりました。[2][3][4][5]
脚注
- ↑ 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".
- ↑ 2021年2月のタスクは、これが全プロジェクトで繰り返し表示される理由を説明しています。