מדיה ויקי:Common.js: הבדלים בין גרסאות בדף
קפיצה לניווט
קפיצה לחיפוש
(שחזור לגרסה 299359 מאת Men770) |
אין תקציר עריכה |
||
| שורה 14: | שורה 14: | ||
importScript( 'MediaWiki:BookmarkletsInit.js' ); | importScript( 'MediaWiki:BookmarkletsInit.js' ); | ||
} | } | ||
try { | |||
document.getElementById('wpLeaveRedirect').checked=false; | document.getElementById('wpLeaveRedirect').checked=false; | ||
} | |||
catch(err) | |||
{ | |||
} | |||
} ) | } ) | ||
גרסה מ־08:55, 18 באוגוסט 2017
mw.loader.using( ['mediawiki.util' ], function () {
importScript('LoadingContent.js');
importScript('Tabs.js');
var projectNamespace,
bookmarkletsPages;
projectNamespace = 'חב"דפדיה';
bookmarkletsPages = [
projectNamespace + ':בוקמרקלטים'
];
if ( $.inArray( wgPageName, bookmarkletsPages ) > -1 ) {
importScript( 'MediaWiki:BookmarkletsInit.js' );
}
try {
document.getElementById('wpLeaveRedirect').checked=false;
}
catch(err)
{
}
} )