☰

[Github] User-mention to profile page

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

Автор
HKR
Установок в день
0
Всего установок
4
Оценки
0 0 0
Версия
1.0
Создано
21.07.2021
Обновлено
22.07.2021
Размер
1,1 КБ
Лицензия
нет данных
Работает на

Попробуйте также следующие похожие скрипты:

  • Улучшение GitHub – быстрое скачивание - Высокоскоростная загрузка Git Clone/SSH, выпусков, изначальных файлов, кода (ZIP) и других файлов (на основе общественного благосостояния), быстрая загрузка файлов из списка проектов (☁)
  • 🏷️ UTags - Добавление пользовательских тегов к ссылкам - Улучшите свой опыт просмотра веб-страниц, добавляя пользовательские теги и заметки к пользователям, публикациям и видео. Идеально подходит для организации контента, идентификации пользователей и фильтрации нежелательных постов. Также функционирует как современный инструмент управления закладками. Поддерживает 100+ популярных сайтов, включая X (Twitter), Reddit, Facebook, Threads, Instagram, YouTube, TikTok, GitHub, Hacker News, Greasy Fork, pixiv, Twitch и многие другие.
  • PlumFont - заменить Roboto, Segoe UI, Arial и другие шрифты - Замените шрифты веб-страниц на предпочтительные вам. Прекратите использование Segoe UI, Arial и Microsoft YaHei. Замените английские цифры шрифтами SF Pro и Inter.
  • Github Скопировать исходный файл URL с загрузкой файлов - Добавить кнопку в конце каждой строки файла，скопировать исходный файл URL и скачать файлы
  • Улучшение GitHub – быстрое скачивание - Высокоскоростная загрузка Git Clone/SSH, выпусков, изначальных файлов, кода (ZIP) и других файлов (на основе общественного благосостояния), быстрая загрузка файлов из списка проектов (☁)