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'; }