MediaWiki:Common.js

/* Das folgende JavaScript wird für alle Benutzer geladen. */
var framefenster = document.getElementsByTagName("iframe");
  var auto_resize_timer = window.setInterval("autoresize_frames()", 400);
  function autoresize_frames() {
    for (var i = 0; i < framefenster.length; ++i) {
        if(framefenster[i].contentWindow.document.body){
          var framefenster_size = framefenster[i].contentWindow.document.body.offsetHeight +10;
          if(document.all && !window.opera) {
          	framefenster_size = framefenster[i].contentWindow.document.body.scrollHeight;
          }
          framefenster[i].style.height = framefenster_size + 'px';
        }
    }
  }