MediaWiki:Common.js: Difference between revisions

Jump to navigation Jump to search
No edit summary
No edit summary
Line 11: Line 11:
if (textinput != null)
if (textinput != null)
{
{
      document.getElementById("mw-bllength").value = "OK";
var bladelength = document.getElementById("mw-bllength").value;
      bladelength = "OK";


}
}
};
};