☰

Github.com - Extra header links - modified

Adds "Stars" link, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.

Verze ze dne 04. 02. 2019. Zobrazit nejnovější verzi.

// ==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     1.4.0
// @grant       none
// ==/UserScript==

var nav = document.querySelector('div.HeaderMenu nav>ul');
if(!nav) {
    nav = document.querySelector('div.HeaderMenu ul');
}

var starLink = document.createElement('a');
starLink.href = '/stars';
starLink.setAttribute( 'class', 'HeaderNavlink px-2' );
starLink.innerHTML = 'Stars';

var starLi = document.createElement("li");
starLi.setAttribute( 'class', 'header-nav-item' );
starLi.appendChild(starLink);

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', 'HeaderNavlink px-2' );
userLink.innerHTML = user;

var userLi = document.createElement("li");
userLi.setAttribute( 'class', 'header-nav-item' );
userLi.appendChild(userLink);

nav.appendChild( starLi );
nav.appendChild( userLi );