Adds "Stars" and "Watching" links, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.
Ceci est la version du script où le code a été mise à jour. Présenter toutes les versions.
