☰

pr0gramm.com - Page Title Changer

Set new pre-defined page title for pr0gramm.com

Installationsanleitung

Du musst eine Erweiterung wie Tampermonkey, Greasemonkey oder Violentmonkey installieren, um dieses Skript zu installieren.

Um dieses Skript zu installieren, müssen Sie eine Erweiterung wie Tampermonkey oder Violentmonkey installieren.

Um dieses Skript zu installieren, müssen Sie eine Erweiterung wie Tampermonkey oder Violentmonkey installieren.

Um dieses Skript zu installieren, müssen Sie eine Erweiterung wie Tampermonkey oder Userscripts installieren.

Um dieses Skript zu installieren, müssen Sie eine Erweiterung wie Tampermonkey installieren.

Sie müssten eine Skript Manager Erweiterung installieren damit sie dieses Skript installieren können

(Ich habe schon ein Skript Manager, Lass mich es installieren!)

Installationsanleitung

Um dieses Design zu installieren, müssen Sie eine Erweiterung wie Stylus installieren.

Um dieses Design zu installieren, müssen Sie eine Erweiterung wie Stylus installieren.

Um dieses Design zu installieren, müssen Sie eine Erweiterung wie Stylus installieren.

Um diesen Stil zu installieren, müssen Sie eine Erweiterung für den Benutzerstil Verwaltung installieren.

Um diesen Stil zu installieren, müssen Sie eine Erweiterung für den Benutzerstil Verwaltung installieren.

Um diesen Stil zu installieren, müssen Sie eine Erweiterung für den Benutzerstil Verwaltung installieren.

(Ich habe bereits einen Benutzerstil Verwaltung, ich möchte ihn installieren!) 

// ==UserScript==
// @name         pr0gramm.com - Page Title Changer
// @namespace    http://tampermonkey.net/
// @version      0.1
// @description  Set new pre-defined page title for pr0gramm.com
// @author       lalelu
// @match        https://pr0gramm.com/*
// @grant        none
// ==/UserScript==

var settings = {
    'updateIntervalTime' : '10',
    'newTitle' : 'Google' //here is the new title, change it if you want
};

function changeIt(){
    document.title = settings.newTitle;
}

(function() {
    'use strict';

    var oldTitle = document.title;
    window.setInterval(function() {
        if (document.title !== oldTitle){changeIt();}
        oldTitle = document.title;
    }, settings.updateIntervalTime);

})();