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