Doc #79302 [Ver->Csd]: Support for underscores in numbers not documented in "floating point numbers"

Edit report at https://bugs.php.net/bug.php?id=79302&edit=1 ID: 79302 Updated by: cmb@php.net Reported by: tandre@php.net Summary: Support for underscores in numbers not documented in "floating point numbers" -Status: Verified +Status: Closed Type: Documentation Problem Package: Documentation problem PHP Version: 7.4.3 -Assigned To: +Assigned To: cmb Block user comment: N Private report: N New Comment: This bug has been fixed in the documentation's XML sources. Since the online and downloadable versions of the documentation need some time to get updated, we would like to ask you to be a bit patient. Thank you for the report, and for helping us make our documentation better. Previous Comments: ------------------------------------------------------------------------ [2020-03-14 16:18:32] cmb@php.net Automatic comment from SVN on behalf of cmb Revision: http://svn.php.net/viewvc/?view=revision&amp;revision=349427 Log: Fix #79302: Support for underscores in numbers not documented ------------------------------------------------------------------------ [2020-02-24 16:24:37] cmb@php.net Seems to be missing from the integer docs[1] as well. [1] <https://www.php.net/manual/en/language.types.integer.php> ------------------------------------------------------------------------ [2020-02-24 16:18:59] tandre@php.net Description: ------------ https://www.php.net/manual/en/language.types.float.php does not document that underscores (numeric literal separator) are allowed since php 7.4. php > echo 1_2.3_4; 12.34 https://wiki.php.net/rfc/numeric_literal_separator > The only restriction is that each underscore in a numeric literal must be directly between two > digits. Expected result: ---------------- The CFG in https://www.php.net/manual/en/language.types.float.php should be updated to document the syntax in php 7.4, and note that the change was made in php 7.4 ------------------------------------------------------------------------ -- Edit this bug report at https://bugs.php.net/bug.php?id=79302&edit=1