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

גרסה מ־22:42, 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('רבי_יואל_טייטלבוים');
    }
})();

// הקוד החדש - מוסיפים אחרי הקוד הקיים
if (typeof jQuery != 'undefined') {
    jQuery(function($) {
        if ($('#toc').length) {
            var $window = $(window);
            var $toc = $('#toc');
            var $firstHeading = $('#firstHeading');
            
            $window.on('scroll', function() {
                var headerPos = $firstHeading.length ? 
                    ($firstHeading.offset().top + $firstHeading.outerHeight()) : 220;
                
                $toc.css('top', $window.scrollTop() > headerPos ? '0' : '220px');
            });
        }
    });
}