☰

Github.com - Extra header links - modified

Adds "Stars" link, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.

Version au 27/02/2019. Voir la dernière version.

Auteur
Hao Zhou
Notes
0 0 0
Version
1.5.0
Créé
25/05/2018
Mis à jour
27/02/2019
Taille
1,61 ko
Licence
N/A
S'applique à

Forked from: https://greasyfork.org/zh-CN/scripts/3139-github-com-extra-header-links

1. add "topics" link in header