Github.com - Extra header links - modified

Greasy Fork is available in English.

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.

La data de 03-12-2018. Vezi ultima versiune.

Instalează acest script ?

Pune o întrebare, postează o recenzie, sau raportează-l.

Wrap lines

// ==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 );