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 l'ensemble des versions pour ce script. Présenter uniquement les versions où le code diffère.
