☰

Github.com - Extra header links - modified

Adds extra links in github header

Ekde 2020/05/06. Vidu La ĝisdata versio. 

// ==UserScript==
// @name        Github.com - Extra header links - modified
// @namespace   "zhouhao/github/header"
// @description Adds extra links in github header
// @include     https://github.com/*
// @version     2.1.1
// @grant       none
// ==/UserScript==

const nav = document.querySelectorAll('nav.d-flex')[0];
const 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';

const createItem = (link, text) => {
    const myLink = document.createElement('a');
    myLink.href = '/' + link;
    myLink.setAttribute( 'class', className );
    myLink.innerHTML = text;
    nav.appendChild( myLink );
};

createItem('stars','Stars');
createItem('topics','Topics');

let 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;
}
createItem(user,user);