Github.com - Extra header links

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.

  • v1.2.3 24-03-2020
  • v1.2.3 24-03-2020 Long, overdue update!
  • v1.2.2 24-10-2017
  • v1.2.2 22-08-2017 Fix compatibility with updated GitHub markup changes
  • v1.2.1 22-07-2017 Fix styling issue with username link
  • v1.2 22-07-2017 Fix compatibility with updated GitHub design
  • v1.1 19-06-2015
  • v1.1 19-06-2015 Updated to match latest changes in Github. Also adds "Stars" and your profile link to the Github header now.
  • v1 08-07-2014

长期地址
遇到问题?请前往 GitHub 提 Issues。