☰

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.

Per 23-04-2020. Zie de nieuwste versie.

Maker
Hao Zhou
Beoordelingen
0 0 0
Versie
2.1.0
Gemaakt op
25-05-2018
Bijgewerkt op
23-04-2020
Grootte
1,27 KB
Licentie
N.v.t.
Wordt toegepast op

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

1. add "topics" link in header