[Feature Request] Use push notifications

[boomzero]

检查项

• 我已确认了XMOJ增强脚本已为最新版，且最新版未实现这一功能。
• 我已在 Issues 页面 中搜索，确认了这一提案未被提交过。

描述

see https://web.dev/articles/push-notifications-overview

also we can remove the stupid getbbsmention and use the push API: https://developer.mozilla.org/en-US/docs/Web/API/Push_API

原因

No response

[langningchen]

You said that my function GetBBSMention is stupid? 😆

[PythonSmall-Q]

知道了。