MediaWiki:Common.js: Unterschied zwischen den Versionen
Aus GIB - Glossar der Bildphilosophie
|
|
| Zeile 1: |
Zeile 1: |
| − | /* Das folgende JavaScript wird für alle Benutzer geladen. */
| + | |
| − | function includePage( name )
| |
| − | {
| |
| − | document.write('<script type="text/javascript" src="' + wgScript + '?title='
| |
| − | + name
| |
| − | + '&action=raw&ctype=text/javascript"><\/script>'
| |
| − | );
| |
| − | }
| |
| − | /* End of includePage */
| |
| − | /* Including extra .js pages */
| |
| − |
| |
| − | // switches for scripts
| |
| − | // var load_extratabs = true;
| |
| − | var load_edittools = true;
| |
| − |
| |
| − | // extra drop down menu on editing for adding special characters
| |
| − | includePage( 'MediaWiki:Edittools.js' );
| |
Version vom 17. Dezember 2017, 14:42 Uhr
