Adds "Stars" and "Watching" links, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.
Dit zijn alle versies van het script. Alleen de versies tonen waarvan de code gewijzigd is.
