☰

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

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