☰

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 03-12-2018. Zie de nieuwste versie.

Maker
Hao Zhou
Beoordelingen
0 0 0
Versie
1.3.0
Gemaakt op
25-05-2018
Bijgewerkt op
03-12-2018
Grootte
1,1 KB
Licentie
N.v.t.
Wordt toegepast op

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

1. Find the correct <header>
2. remove watching list