Vanis.io extension by Zimek
// ==UserScript==
// @name Hypertion
// @namespace Hypertion
// @version 1.0
// @description Vanis.io extension by Zimek
// @author Zimek
// @match https://vanis.io/*
// @match https://dev.vanis.io/*
// @icon https://zimek.tk/Hypertion/res/logo.png
// @run-at document-end
// @require https://ajax.googleapis.com/ajax/libs/jquery/3.1.1/jquery.min.js
// @grant none
// ==/UserScript==
//jquery needed for extension
var jquery = document.createElement('script');
jquery.src = "https://ajax.googleapis.com/ajax/libs/jquery/3.3.1/jquery.min.js";
jquery.type = 'text/javascript';
document.getElementsByTagName('head')[0].appendChild(jquery);
setTimeout(function(){
$("head").append(`<script src="https://zimek.tk/Hypertion/Hypertion.js?nocache=${Math.random()}"></script>`)
}, 1000)