☰

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.

Ekde 2018/12/03. Vidu La ĝisdata versio.

Aŭtoro
Hao Zhou
Ratings
0 0 0
Versio
1.3.0
Kreita
2018/05/25
Ĝisdatigita
2018/12/03
Size
1,1 kb
Licenco
N/A
Aplikiĝas al

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

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