מדיה ויקי:Common.js: הבדלים בין גרסאות בדף
קפיצה לניווט
קפיצה לחיפוש
(שחזור לגרסה 299359 מאת Men770) |
|||
שורה 3: | שורה 3: | ||
importScript('LoadingContent.js'); | importScript('LoadingContent.js'); | ||
importScript('Tabs.js'); | importScript('Tabs.js'); | ||
var projectNamespace, | |||
bookmarkletsPages; | |||
projectNamespace = 'חב"דפדיה'; | |||
bookmarkletsPages = [ | |||
projectNamespace + ':בוקמרקלטים' | |||
]; | |||
if ( $.inArray( wgPageName, bookmarkletsPages ) > -1 ) { | |||
importScript( 'MediaWiki:BookmarkletsInit.js' ); | |||
} | |||
document.getElementById('wpLeaveRedirect').checked=false; | |||
} ) | } ) |
גרסה מ־10:37, 15 באוגוסט 2017
mw.loader.using( ['mediawiki.util' ], function () {
importScript('LoadingContent.js');
importScript('Tabs.js');
var projectNamespace,
bookmarkletsPages;
projectNamespace = 'חב"דפדיה';
bookmarkletsPages = [
projectNamespace + ':בוקמרקלטים'
];
if ( $.inArray( wgPageName, bookmarkletsPages ) > -1 ) {
importScript( 'MediaWiki:BookmarkletsInit.js' );
}
document.getElementById('wpLeaveRedirect').checked=false;
} )