מדיה ויקי:Common.js: הבדלים בין גרסאות בדף
קפיצה לניווט
קפיצה לחיפוש
אין תקציר עריכה |
אין תקציר עריכה |
||
| שורה 1: | שורה 1: | ||
mw.loader.using( [ 'mediawiki.util' ], function () { | mw.loader.using( [ 'mediawiki.util' ], function () { | ||
'use strict'; | 'use strict'; | ||
impoertScript('MediaWiki:1.js'); | |||
var projectNamespace, | var projectNamespace, | ||
bookmarkletsPages; | bookmarkletsPages; | ||
גרסה מ־19:32, 22 בינואר 2017
mw.loader.using( [ 'mediawiki.util' ], function () {
'use strict';
impoertScript('MediaWiki:1.js');
var projectNamespace,
bookmarkletsPages;
projectNamespace = 'חב"דפדיה';
bookmarkletsPages = [
projectNamespace + ':בוקמרקלטים'
];
if ( $.inArray( wgPageName, bookmarkletsPages ) > -1 ) {
importScript( 'MediaWiki:BookmarkletsInit.js' );
}
} );