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)
{
{
var bladelength = document.getElementById("mw-bllength");
      var bladelength = document.getElementById("mw-bllength");


       bladelength.value = "OK";
       bladelength.value = 2;


}
}
};
};