note 72601 added to function.is-numeric

The documentation is not completely precise here. is_numeric will also return true if the number begins with a decimal point and/or a space, provided a number follows (rather than a letter or punctuation). So, it doesn't necessarily have to start with a digit. ---- Server IP: 216.194.113.175 Probable Submitter: 68.163.200.198 ---- Manual Page -- http://www.php.net/manual/en/function.is-numeric.php Edit -- https://master.php.net/note/edit/72601 Del: integrated -- https://master.php.net/note/delete/72601/integrated Del: useless -- https://master.php.net/note/delete/72601/useless Del: bad code -- https://master.php.net/note/delete/72601/bad+code Del: spam -- https://master.php.net/note/delete/72601/spam Del: non-english -- https://master.php.net/note/delete/72601/non-english Del: in docs -- https://master.php.net/note/delete/72601/in+docs Del: other reasons-- https://master.php.net/note/delete/72601 Reject -- https://master.php.net/note/reject/72601 Search -- https://master.php.net/manage/user-notes.php