☰

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 27-02-2019. Zie de nieuwste versie.

Maker
Hao Zhou
Beoordelingen
0 0 0
Versie
1.5.0
Gemaakt op
25-05-2018
Bijgewerkt op
27-02-2019
Grootte
1,61 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