מדיה ויקי:Common.js: הבדלים בין גרסאות בדף

גרסה מ־22:39, 8 בפברואר 2025

// קוד קיים - משאירים אותו
(function () {
    var userLang = mw.config.get('wgUserLanguage');
    var pageName = mw.config.get('wgPageName');

    if (pageName === 'רבי_יואל_טייטלבוים' && userLang === 'yi') {
        window.location.href = mw.util.getUrl('רבי_יואל_טייטלבוים/yi');
    }

    if (pageName === 'רבי_יואל_טייטלבוים/yi' && userLang === 'he') {
        window.location.href = mw.util.getUrl('רבי_יואל_טייטלבוים');
    }
})();

// הקוד החדש - מוסיפים אחרי הקוד הקיים
mw.loader.using(['jquery'], function() {
    $(function() {
        var $toc = $('#toc');
        
        if ($toc.length) {
            $(window).on('scroll', function() {
                var scrollTop = $(window).scrollTop();
                var headerHeight = $('#firstHeading').offset().top + $('#firstHeading').outerHeight();
                
                $toc.css('top', scrollTop > headerHeight ? '0' : '220px');
            });
        }
    });
});