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

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