☰

[Github] User-mention to profile page

Changes the user-mention URL to the user's profile page

这些是此脚本变更过代码的版本。 显示所有版本。