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

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

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

	

);

@@ שורה 4: / שורה 4: @@
 }
-	var projectNamespace,
-		bookmarkletsPages;
-	projectNamespace = 'חב"דפדיה';
-	bookmarkletsPages = [
-		projectNamespace + ':בוקמרקלטים'
-	];
-	if ( $.inArray( wgPageName, bookmarkletsPages ) > -1 ) {
-		importScript( 'MediaWiki:BookmarkletsInit.js' );
-	}
 );