Медијавики:Gadget-edittop.js

if (wgAction == 'view' && wgNamespaceNumber >= 0) jQuery(document).ready(function ($) {
    var h2s = document.getElementsByTagName('H2');
    var h2 = h2s[0];
    if (!h2) return;
    if (h2.parentNode.id == 'toctitle') h2 = h2s[1];
    if (!h2) return;
    var span = h2.firstChild;
    if (!span || span.className != 'editsection') return;
    var zero = span.cloneNode(true);
    if (document.getElementById('featured-star')) zero.style.marginRight = '25px'
    var parent = document.getElementsByTagName('H1')[0];
    parent.insertBefore(zero, parent.firstChild);
    var a = zero.getElementsByTagName('A')[0];
    a.title = a.title.replace(/:.*$/, ': Увод');
    a.setAttribute('href', a.href.replace(/&section=1/, '&section=0'));
})