MediaWiki:Common.js: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 34: | Line 34: | ||
document.getElementsByTagName( 'head' )[0].appendChild( styleElem ); | document.getElementsByTagName( 'head' )[0].appendChild( styleElem ); | ||
} | } | ||
document.getElementById('searchform').action = '/index.php'; | document.getElementById('searchform').action = '/index.php'; | ||
var searchInputs = document.getElementsByClassName('searchboxInput'); | var searchInputs = document.getElementsByClassName('searchboxInput'); | ||
for (var i = 0; i < searchInputs.length; ++i) { searchInputs[i].id = 'searchInput'; } | for (var i = 0; i < searchInputs.length; ++i) { searchInputs[i].id = 'searchInput'; } |
Revision as of 11:10, 12 March 2017
/* Any JavaScript here will be loaded for all users on every page load. */ /** Import module ************************************************************* * * Description: Includes a raw wiki page as javascript or CSS, * used for including user made modules. * Maintainers: [[wikipedia:User:AzaToth]] */ importedScripts = {}; // object keeping track of included scripts, so a script ain't included twice function importScript( page ) { if( importedScripts[page] ) { return; } importedScripts[page] = true; var url = wgScriptPath + '/index.php?title=' + encodeURIComponent( page.replace( / /g, '_' ) ) + '&action=raw&ctype=text/javascript'; var scriptElem = document.createElement( 'script' ); scriptElem.setAttribute( 'src' , url ); scriptElem.setAttribute( 'type' , 'text/javascript' ); document.getElementsByTagName( 'head' )[0].appendChild( scriptElem ); } function importStylesheet( page ) { var sheet = '@import "' + wgScriptPath + '/index.php?title=' + encodeURIComponent( page.replace( / /g, '_' ) ) + '&action=raw&ctype=text/css";' var styleElem = document.createElement( 'style' ); styleElem.setAttribute( 'type' , 'text/css' ); styleElem.appendChild( document.createTextNode( sheet ) ); document.getElementsByTagName( 'head' )[0].appendChild( styleElem ); } document.getElementById('searchform').action = '/index.php'; var searchInputs = document.getElementsByClassName('searchboxInput'); for (var i = 0; i < searchInputs.length; ++i) { searchInputs[i].id = 'searchInput'; }