|
|
| Line 1: |
Line 1: |
| | /* Any JavaScript here will be loaded for all users on every page load. */ | | /* Any JavaScript here will be loaded for all users on every page load. */ |
| | | | |
| − | /** Import module *************************************************************
| + | /* Autocompletion for the <inputbox /> extension */ |
| − | *
| + | document.getElementById('searchform').action = '/index.php'; |
| − | * Description: Includes a raw wiki page as javascript or CSS,
| + | var searchInputs = document.getElementsByClassName('searchboxInput'); |
| − | * used for including user made modules.
| + | for (var i = 0; i < searchInputs.length; ++i) { searchInputs[i].id = 'searchInput'; } |
| − | * 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'; }
| |
