مدیاویکی:Common.js: تفاوت میان نسخهها
بدون خلاصۀ ویرایش |
بدون خلاصۀ ویرایش |
||
خط ۲۰: | خط ۲۰: | ||
}); | }); | ||
var offset = $(':target').offset(); | |||
var scrollto = offset.top - 100; // minus fixed header height | |||
$('html, body').animate({scrollTop:scrollto}, 0); |
نسخهٔ ۱۱ مارس ۲۰۲۰، ساعت ۲۲:۰۷
/* اضافه کردن تیتر برای یادداشت ها */
$( function() {
if($('#reflist-notes .reflist').text().length>10) {
$('#reflist-notes').before('<h2>یادداشتها</h2>');
}
});
/* تنظیمات پاپ آپ ها */
mw.loader.using( [ 'ext.popups' ], function() { // wait for popups to be loaded
// Time to wait in ms before showing a popup on hover. Default is 500.
mw.popups.render.POPUP_DELAY = 500;
// Time to wait in ms before closing a popup on de-hover. Default is 300.
mw.popups.render.POPUP_CLOSE_DELAY = 300;
// Time to wait in ms before starting the API queries on hover, must be <= POPUP_DELAY. Default is 50.
// Don't change this unless you know what you're doing.
mw.popups.render.API_DELAY = 50;
});
var offset = $(':target').offset();
var scrollto = offset.top - 100; // minus fixed header height
$('html, body').animate({scrollTop:scrollto}, 0);