☰

[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) и других файлов (на основе общественного благосостояния), быстрая загрузка файлов из списка проектов (☁)
  • Улучшение GitHub – быстрое скачивание - Высокоскоростная загрузка Git Clone/SSH, выпусков, изначальных файлов, кода (ZIP) и других файлов (на основе общественного благосостояния), быстрая загрузка файлов из списка проектов (☁)
  • PlumFont - заменить Roboto, Segoe UI, Arial и другие шрифты - Замените шрифты веб-страниц на предпочтительные вам. Прекратите использование Segoe UI, Arial и Microsoft YaHei. Замените английские цифры шрифтами SF Pro и Inter.
  • GitHub Сортировать по дате - Изменить сортировку файлов по убыванию по дате，Удобно просматривать последние обновленные файлы。
  • GitHub загрузчик папок - Добавьте кнопку загрузки，Позволяет легко загружать определенные GitHub папка。
长期地址
遇到问题？请前往 GitHub 提 Issues。