מדיה ויקי:Common.js: הבדלים בין גרסאות בדף
קפיצה לניווט
קפיצה לחיפוש
אין תקציר עריכה |
אין תקציר עריכה |
||
שורה 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' ); | |||
} | |||
} ) | } ) |
גרסה מ־15:03, 30 ביולי 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' );
}
} )