Adds "Stars" link, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.
As of
// ==UserScript==
// @name Github.com - Extra header links - modified
// @namespace
// @description Adds "Stars" link, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.
// @include https://github.com/*
// @version 2.1.0
// @grant none
// ==/UserScript==
var nav = document.querySelectorAll('nav.d-flex')[0];
var className = 'js-selected-navigation-item Header-link py-lg-3 mr-0 mr-lg-3 py-2 border-top border-lg-top-0 border-white-fade-15';
var starLink = document.createElement('a');
starLink.href = '/stars';
starLink.setAttribute( 'class', className );
starLink.innerHTML = 'Stars';
var topicLink = document.createElement('a');
topicLink.href = '/topics';
topicLink.setAttribute( 'class', className );
topicLink.innerHTML = 'Topics';
var user = document.getElementsByClassName('user-profile-link');
if(user && user.length > 0) {
user = user[0].childNodes[1].textContent;
} else {
user = document.getElementsByClassName('css-truncate-target')[0].textContent;
}
var userLink = document.createElement('a');
userLink.href = '/' + user;
userLink.setAttribute( 'class', className );
userLink.innerHTML = user;
nav.appendChild( starLink );
nav.appendChild( topicLink );
nav.appendChild( userLink );