☰

[Github] User-mention to profile page

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

Penulis
HKR
Pemasangan harian
0
Total pemasangan
4
Nilai
0 0 0
Versi
1.0
Dibuat
21 Juli 2021
Diperbarui
22 Juli 2021
Lisensi
N/A
Berlaku untuk

You can also try these related scripts:

  • GitHub pengunduh folder - Tambahkan tombol unduh，Memungkinkan pengunduhan yang spesifik dengan mudah GitHub map。
  • 🤠 Github meningkatkan ukuran tampilan asisten gudang - 🤠 Ukuran tampilan gudang: Pada pencarian kode GitHub, pencarian gudang, halaman penerbitan, daftar gudang pengguna, dan halaman repositori, ukuran gudang akan ditampilkan di sebelah nama gudang, memungkinkan pengguna dengan cepat memahami skala gudang dan mengoptimalkannya pilihan. Peringatan pengembangan tidak aktif: Jika repositori belum diperbarui dalam enam bulan terakhir, sistem akan menambahkan perintah di bagian atas repositori untuk mengingatkan pengguna bahwa repositori tidak aktif dan
  • PlumFont - Ganti Roboto, Segoe UI, Arial, dan font lainnya - Ganti font halaman web dengan font kesukaan Anda. Hentikan penggunaan Segoe UI, Arial, dan Microsoft YaHei. Ganti angka bahasa Inggris dengan font SF Pro dan Inter.
  • GitHub Urutkan berdasarkan tanggal - Ubah pengurutan file menjadi menurun berdasarkan tanggal，Lihat file terbaru yang diperbarui dengan mudah。
  • Github Salin file asli URL dengan file unduhan - Tombol Tambah di akhir setiap baris file，untuk menyalin file asli URL dan mengunduh file