☰

[Github] User-mention to profile page

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

Auteur
HKR
Installations quotidiennes
0
Installations (total)
4
Notes
0 0 0
Version
1.0
Créé
21/07/2021
Mis à jour
22/07/2021
Taille
1,06 ko
Licence
N/A
S'applique à

Vous pouvez également essayer ces scripts connexes :

  • 🏷️ UTags - Ajouter des tags utilisateur aux liens - staging - Améliorez votre expérience de navigation en ajoutant des tags personnalisés et des notes aux utilisateurs, publications et vidéos sur le web. Parfait pour organiser le contenu, identifier les utilisateurs et filtrer les publications indésirables. Fonctionne également comme un outil moderne de gestion des signets. Prend en charge plus de 100 sites web populaires, notamment X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch et bien d'autres.
  • GitHub téléchargeur de dossiers - Ajouter un bouton de téléchargement，Permet de télécharger facilement des fichiers spécifiques GitHub dossier。
  • PlumFont - Remplacez Roboto, Segoe UI, Arial et autres polices - Remplacez les polices des pages Web par celles de votre choix. Arrêtez d'utiliser Segoe UI, Arial et Microsoft YaHei. Remplacez les chiffres anglais par les polices SF Pro et Inter.
  • 🏷️ UTags - Ajouter des tags utilisateur aux liens - Améliorez votre expérience de navigation en ajoutant des tags personnalisés et des notes aux utilisateurs, publications et vidéos sur le web. Parfait pour organiser le contenu, identifier les utilisateurs et filtrer les publications indésirables. Fonctionne également comme un outil moderne de gestion des signets. Prend en charge plus de 100 sites web populaires, notamment X (Twitter), Reddit, Facebook, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch et bien d'autres.
  • Copilot de masquage GitHub - Cacher un copilote stupide sur github