rfc:number_format_separator

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
rfc:number_format_separator [2016/01/13 18:47] tpuntrfc:number_format_separator [2017/09/22 13:28] (current) – external edit 127.0.0.1
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: Voting+  * Status: Declined
   * First Published at: http://wiki.php.net/rfc/number_format_separator   * First Published at: http://wiki.php.net/rfc/number_format_separator
  
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="Include a Digit Separator into PHP" auth="tpunt" voteType="single">+<doodle title="Include a Digit Separator into PHP" auth="tpunt" voteType="single" closed="true">
    * Yes    * Yes
    * No    * No
rfc/number_format_separator.1452710877.txt.gz · Last modified: 2017/09/22 13:28 (external edit)