☰

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.

Ekde 2018/12/03. Vidu La ĝisdata versio. 

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


var nav = document.querySelector('div.HeaderMenu nav>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');
user = user[0].childNodes[1].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 );