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

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

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

@@ שורה 3: / שורה 3: @@
 	'use strict';
 }
-var projectNamespace;
-var bookmarkletsPages;
-	projectNamespace = 'חב"דפדיה';
-	bookmarkletsPages = [
-		projectNamespace + ':בוקמרקלטים'
-	];
-		importScript( 'MediaWiki:BookmarkletsInit.js' );
-}
 );