Meta:Push subscription managers/ko: Difference between revisions

Revision as of 13:22, 18 May 2025

Revision as of 13:22, 18 May 2025

Line 10:

'''푸시 구독 관리자'''는 [[phab:rECHO3513c642dd53349253b947b56415f5e2e1cbd32f|2020년 8월]] 미디어위키 확장 프로그램 [[:mw:Special:MyLanguage/Extension:Echo|Echo]]가 도입한 새로운 사용자 그룹입니다.

커밋 메시지에 따르면, "권한이 있는 계정이 다른 사용자를 대신하여 데이터베이스에서 만료된 구독을 삭제할 수 있도록 허용합니다." "이 권한은 위키미디어 [[User:PushSubscriptionManager2|푸시 알림 서비스]]와 연결된 메타위키의 봇 계정에 부여되며, 푸시 알림 서비스 계정은 공급업체 API가 잘못된 구독 응답을 반환하는 구독에 대해 API에 푸시 구독 삭제 요청을 보냅니다."<ref>{{cite web |url=https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Echo/+/619570/ |title= Gerrit patch # 619570: Create push subscription manager group/right to clean up dead subs |last1=Holloway |first1=Michael D. |date= August 24, 2020 | author-link = User:MHolloway (WMF)}}</ref>

<div lang="en" dir="ltr" class="mw-content-ltr">

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 [[User:PushSubscriptionManager2|push notifications service account]] will make push subscription delete requests to the API for subscriptions for which vendor APIs return bad subscription responses».<ref>{{cite web |url=https://gerrit.wikimedia.org/r/c/mediawiki/extensions/Echo/+/619570/ |title= Gerrit patch # 619570: Create push subscription manager group/right to clean up dead subs |last1=Holloway |first1=Michael D. |date= August 24, 2020 | author-link = User:MHolloway (WMF)}}</ref>

</div>

<div lang="en" dir="ltr" class="mw-content-ltr">