MediaWiki:Common.js

/* Any JavaScript here will be loaded for all users on every page load. */

function httpanim(){
  var http = document.getElementById('demoHTTP');
  http.innerHTML = 'POST';
  http.style.top = 0;
  http.style.left = 0;
  http.style.display = 'flex';
  var max =	document.getElementById('demoHTTP').offsetWidth;
  var cur =	document.getElementById('demoHTTP').style.top;
  if ( cur < max ) {
    http.style.top = cur + 10;
    setTimeout(httpanim,200);
    }
  else {
    http.style.top = 0;
    http.style.display = 'none';
    }
}

function initanim(val){
  var http = document.getElementById('demoHTTP');
  var uart = document.getElementById('demoUART');
  http.style.top = 0;
  http.style.left = 0;
  http.innerHTML = 'POST';
  http.style.display = 'flex';
  uart.style.top = 0;
  uart.style.left = 0;
  uart.innerHTML = val;
  httpanim();
  }