[Github] User-mention to profile page

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

作者のサイトでサポートを受ける。または、このスクリプトの質問や評価の投稿はこちら通報はこちらへお寄せください。
作者
HKR
1日のインストール数
0
累計インストール数
4
評価
0 0 0
バージョン
1.0
作成日
2021/07/21
更新日
2021/07/22
大きさ
1.06KB
ライセンス
不明
対象サイト

関連スクリプトもお試しください:

  • GitHub日本語 - GitHub日本語プラグイン
  • 梅花 - Roboto、Segoe UI などのフォントを置き換える - ウェブページのフォントをお好みのものに置き換えます。Segoe UI、Arial、メイリオの使用を停止します。英数字を SF Pro および Inter フォントに置き換えます。
  • GitHub ファイルリスト整形ツール - GitHub File List Beautifier はユーザースクリプトです,強化するために使用される GitHub 倉庫内のファイルの表示効果。ファイルやフォルダーに色を追加できます,ファイルタイプのアイコンを小さな画像に置き換えます,コードベースの参照と管理が容易になります。。種類ごとにファイルに色とアイコンを追加する,リポジトリソースツリーのファイルタイプアイコンの代わりに小さな画像を表示します
  • YouTubeとニコニコ動画にRSSリンクを追加 - YouTube:ユーザー、マイリスト、チャンネル ニコニコ動画:ユーザー、マイリスト、タグ reddit:キーワード検索結果、サブレディット、スレッド、ユーザー twitter:キーワード検索、ユーザー Pinterest:ユーザー、ボード
  • GitHub FileSize Viewer Revised - Show the file size next to it on the website