MediaWiki:Vector-2022.js: Unterschied zwischen den Versionen

mw.loader.using('mediawiki.util').then(function () {
    var tools = document.querySelector('#p-tb .vector-menu-content-list');
    if (!tools) return;

    function addTool(name, url) {
        var li = document.createElement('li');
        li.className = 'vector-menu-content-list-item';
        var a = document.createElement('a');
        a.href = url;
        a.textContent = name;
        li.appendChild(a);
        tools.appendChild(li);
    }

    addTool('Textbausteine', '/Wiki_TS/index.php/Kategorie:Textbausteine');
    addTool('Letzte Änderungen', '/Wiki_TS/index.php/Spezial:Letzte_Änderungen');
    addTool('Alle Seiten', '/Wiki_TS/index.php/Spezial:Alle_Seiten');
    addTool('Zufällige Seite', '/Wiki_TS/index.php/Spezial:Zufällige_Seite');
});