MediaWiki:Common.js

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

const cursorwidth = 20;

function cursormove(e){
  var slider = document.getElementById('demoslider');
  var bounds = slider.getBoundingClientRect();
  var x = e.clientX - bounds.left;
  if ( x > bounds.width - cursorwidth ) x = bounds.width - cursorwidth;
  if (e.buttons != 0) {
    var cursor = document.getElementById('democursor');
    cursor.style.left = Math.floor(x)+'px';
    }
  }

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

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