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