MediaWiki:DD Box.js

/* * Button events */ function DisplayResultsClicked { function val { d = document.getElementById("Quality").value; }  }