Changes
Jump to navigation
Jump to search
← Older edit
Newer edit →
MediaWiki:Common.js
(view source)
Revision as of 12:39, 3 June 2020
1 byte added
,
3 years ago
no edit summary
Line 12:
Line 12:
{
{
var bladelength = document.getElementById("mw-bllength");
var bladelength = document.getElementById("mw-bllength");
+
bladelength.value = "OK";
bladelength.value = "OK";
}
}
};
};
Shornstein
Bureaucrats
,
Administrators
, translate-proofr
15,484
edits
Navigation menu
Personal tools
Log in
Namespaces
Message
Discussion
Variants
Views
Read
View source
View history
More
Search
Main Page
Informations
FAQs and troubleshooting
Tech stuff
How-Tos
Tools
Special pages
Printable version