From bb2cebd57553066f7502ae8c6bfe61a2a3d458fc Mon Sep 17 00:00:00 2001
From: Christoph Michael Becker <cmb@php.net>
Date: Tue, 17 Mar 2020 09:03:45 +0000
Subject: [PATCH] is_numeric() accepts leading whitespace

Cf. bug #67719.

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@349477 c90b9560-bf6c-de11-be94-00142212c4b1
---
 reference/var/functions/is-numeric.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/reference/var/functions/is-numeric.xml b/reference/var/functions/is-numeric.xml
index 47967937a5..e6d5a76512 100644
--- a/reference/var/functions/is-numeric.xml
+++ b/reference/var/functions/is-numeric.xml
@@ -16,6 +16,7 @@
   </methodsynopsis>
   <para>
    Finds whether the given variable is numeric. Numeric strings consist of optional
+   whitespace, optional
    sign, any number of digits, optional decimal part and optional exponential part.
    Thus <literal>+0123.45e6</literal> is a valid numeric value. Hexadecimal (e.g.
    <literal>0xf4c3b00c</literal>) and binary (e.g. <literal>0b10100111001</literal>)