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