MediaWiki:Common.js

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

var mousestate = 0;

function cursormousedown(){ mousestate = 1; }

function cursormouseup(){ mousestate = 0; }

function cursormove(e){
  var slider = document.getElementById('demoslider');
  if (mousestate == 1) {
    var cursor = document.getElementById('democursor');
    cursor.style.left = e.clientX;
    }
  }

function demoslider(){
  var slider = document.getElementById('demoslider');
  if(slider != null){
    slider.onmousemove = cursormove;
    slider.onmousedown = cursormousedown;
    slider.onmouseup = cursormouseup;
    }
  }

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();
  }

demoslider();