MediaWiki:Common.js: Unterschied zwischen den Versionen

(2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)

Zeile 1:

/* Das folgende JavaScript wird für alle Benutzer geladen. */

~~var tbheight=document.getElementById('mw-content-text').style.height;~~

~~document.getElementById('text-box-height').style.height=tbheight;~~

@@ Zeile 1: / Zeile 1: @@
 /* Das folgende JavaScript wird für alle Benutzer geladen. */
-var tbheight=document.getElementById('mw-content-text').style.height;
-document.getElementById('text-box-height').style.height=tbheight;