Re: [PHP-DEV] [RFC][VOTE] Number Format Separator

2016-01-20 Thread Andrea Faulds
Hi Pascal, Pascal MARTIN, AFUP wrote: Le 13/01/2016 19:48, Thomas Punt a écrit : Voting has opened for the inclusion of a digit separator in PHP[1]. Voting ends in one week's time on January 20th. Hi, At AFUP, we would be on the -1 side (by a huge margin). The "good" thing would be code

Re: [PHP-DEV] [RFC][VOTE] Number Format Separator

2016-01-20 Thread Yasuo Ohgaki
Hi Andrea, On Thu, Jan 21, 2016 at 4:18 AM, Andrea Faulds wrote: > > One other approach I thought of is to use constant scalar expressions: > > +('123'.'456'.'789') > > It's not quite the same of native support, but it works. This is what I do on occasions. I have to read

Re: [PHP-DEV] [RFC][VOTE] Number Format Separator

2016-01-19 Thread Pascal MARTIN, AFUP
Le 13/01/2016 19:48, Thomas Punt a écrit : Voting has opened for the inclusion of a digit separator in PHP[1]. Voting ends in one week's time on January 20th. Hi, At AFUP, we would be on the -1 side (by a huge margin). The "good" thing would be code that's a bit more readable, yes. But it

RE: [PHP-DEV] [RFC][VOTE] Number Format Separator

2016-01-14 Thread Thomas Punt
Hi Björn, > Well, if I had a vote it would definetly be +1. A small question > though, why is the voting period only one week (small RFC or)? The RFC is quite simple and short, so I thought a one week voting period would suffice. I'm more than happy to extend this though if people don't think

Re: [PHP-DEV] [RFC][VOTE] Number Format Separator

2016-01-14 Thread Björn Larsson
Den 2016-01-14 kl. 18:21, skrev Thomas Punt: Hi Björn, Well, if I had a vote it would definetly be +1. A small question though, why is the voting period only one week (small RFC or)? The RFC is quite simple and short, so I thought a one week voting period would suffice. I'm more than happy to

Re: [PHP-DEV] [RFC][VOTE] Number Format Separator

2016-01-14 Thread Björn Larsson
Den 2016-01-13 kl. 19:48, skrev Thomas Punt: Hi internals! Voting has opened for the inclusion of a digit separator in PHP[1]. Voting ends in one week's time on January 20th. Thanks, Tom [1]: http://wiki.php.net/rfc/number_format_separator Well, if I had

[PHP-DEV] [RFC][VOTE] Number Format Separator

2016-01-13 Thread Thomas Punt
Hi internals! Voting has opened for the inclusion of a digit separator in PHP[1]. Voting ends in one week's time on January 20th. Thanks, Tom [1]: http://wiki.php.net/rfc/number_format_separator -- PHP Internals - PHP Runtime Development Mailing List To