Manual:HTMLIntField.php