☰

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.

La data de 04-02-2019. Vezi ultima versiune.

Autor
Hao Zhou
Rating-uri
0 0 0
Versiune
1.4.0
Creat
25-05-2018
Actualizat
04-02-2019
Size
1,29 KB
Licență
N/A
Se aplică pe

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

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