[Github] User-mention to profile page

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

Autor
HKR
Installationen heute
0
Installationen gesamt
4
Bewertungen
0 0 0
Version
1.0
Erstellt am
21.07.2021
Letzte Aktualisierung
22.07.2021
Größe
1,06 KB
Lizenz
n/a
Wird angewandt auf

Sie können auch diese verwandten Skripte ausprobieren:

  • GitHub Ordner-Downloader - Fügen Sie einen Download-Button hinzu,Ermöglicht das einfache Herunterladen spezifischer GitHub Ordner。
  • GitHub Webansicht zur Anzeige von Informationen übermitteln - Dieses Skript wird GitHub Die Einreichungsinformationen zu HTML Sicht,um die Einreichungsdetails klarer zu sehen。Die Informationsliste wird automatisch übermittelt、Der Commit-Header und die neuesten Commit-Informationen werden konvertiert HTML Format,Bieten Sie bessere visuelle Effekte und ein besseres Benutzererlebnis。
  • GitHub Dateilisten-Verschönerer - GitHub File List Beautifier ist ein Benutzerskript,zur Verstärkung verwendet GitHub Anzeigeeffekt von Dateien im Lager。Es kann Dateien und Ordnern Farben hinzufügen,und ersetzen Sie die Dateitypsymbole durch kleine Bilder,Erleichtert das Durchsuchen und Verwalten der Codebasis。Fügen Sie Dateien nach Typ Farben und Symbole hinzu,Zeigen Sie kleine Bilder anstelle von Dateitypsymbolen im Repository-Quellbaum an
  • GitHub Geräteautorisierung automatisch bestätigen - existierenGitHubAuf der Autorisierungsseite wird der Autorisierungscode automatisch eingegeben und automatisch bestätigt.。
  • 🏷️ UTags - Benutzer-Tags zu Links hinzufügen - Verbessern Sie Ihr Browsing-Erlebnis, indem Sie benutzerdefinierte Tags und Notizen zu Benutzern, Beiträgen und Videos im Web hinzufügen. Perfekt zum Organisieren von Inhalten, Identifizieren von Benutzern und Filtern unerwünschter Beiträge. Funktioniert auch als modernes Lesezeichen-Management-Tool. Unterstützt über 100 beliebte Websites, darunter X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch und viele mehr.