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


}
}
};
};