rfc:number_format_separator
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Last revisionBoth sides next revision | ||
rfc:number_format_separator [2016/01/13 18:47] – tpunt | rfc:number_format_separator [2016/01/20 20:37] – tpunt | ||
---|---|---|---|
Line 3: | Line 3: | ||
* Date: 2015-12-19 | * Date: 2015-12-19 | ||
* Author: Thomas Punt, tpunt@php.net | * Author: Thomas Punt, tpunt@php.net | ||
- | * Status: | + | * Status: |
* First Published at: http:// | * First Published at: http:// | ||
Line 156: | Line 156: | ||
A simple yes/no voting option on whether to support a digit separator in PHP. A 2/3 majority is required. | A simple yes/no voting option on whether to support a digit separator in PHP. A 2/3 majority is required. | ||
- | <doodle title=" | + | <doodle title=" |
* Yes | * Yes | ||
* No | * No |
rfc/number_format_separator.txt · Last modified: 2017/09/22 13:28 by 127.0.0.1