מדיה ויקי:Common.js: הבדלים בין גרסאות בדף

גרסה מ־08:15, 14 ביולי 2017

mw.loader.using( [ 'mediawiki.util' ], function () {
	'use strict';
}
var projectNamespace;
var bookmarkletsPages;

	projectNamespace = 'חב"דפדיה';
	bookmarkletsPages = [
		projectNamespace + ':בוקמרקלטים'
	];


		importScript( 'MediaWiki:BookmarkletsInit.js' );

        
        
}
	

);

@@ שורה 11: / שורה 11: @@
 	];
-	if ( $.inArray( wgPageName, bookmarkletsPages ) > -1 ) {
 		importScript( 'MediaWiki:BookmarkletsInit.js' );
-	}