☰

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.

Versione datata 19/06/2015. Vedi la nuova versione l'ultima versione.

queste sono le versioni di questo script in cui il codice è stato aggiornato Visualizza tutte le versioni.

  • v1.2.3 24/03/2020 Long, overdue update!
  • 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 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。