Re: [PHP-DEV] PHP 7.3 branched

Den tir. 31. jul. 2018 kl. 22.57 skrev Christoph M. Becker : > I've never tried pickle, and I have no idea about its status and > usability (after all, further development appears to have been mostly > ceased[2]), but still it might be the best way to move forward. > > [2]

Re: [PHP-DEV] Nullable cast (?int)

Pretty nice idea! On Tue, Jul 31, 2018 at 22:06 Gabriel Caruso wrote: > > > > Thanks a lot! > > > > 1. I never did a RFC and have no karma to do, so if someone wants to help > > me with that, I appreciate (contact me directly, then we could publish > RPC > > link as reply here). > > > > > Someon

Re: [PHP-DEV] Nullable cast (?int)

> > Thanks a lot! > > 1. I never did a RFC and have no karma to do, so if someone wants to help > me with that, I appreciate (contact me directly, then we could publish RPC > link as reply here). > Someone can give you acess to https://wiki.php.net/rfc to you email, so you'll be able to write the

[PHP-DEV] Re: PHP 7.1.21

"Christoph M. Becker" in php.internals (Tue, 31 Jul 2018 16:59:15 +0200): >On 31.07.2018 at 16:50, Jan Ehrhardt wrote: > >> On github PHP 7.1.21 appeared right now: >> https://github.com/php/php-src/releases/tag/php-7.1.21 >> Shouldn't that have been PHP 7.1.21RC1? > >Joe? It was not Joe's day: ht

Re: [PHP-DEV] Nullable cast (?int)

Thanks a lot! 1. I never did a RFC and have no karma to do, so if someone wants to help me with that, I appreciate (contact me directly, then we could publish RPC link as reply here). 2. Too, I could not implementate it, and I don't know if it is a requirement to write a RFC or if it could be don

Re: [PHP-DEV] PHP 7.3 branched

On 31.07.2018 at 18:44, Kalle Sommer Nielsen wrote: > Off-topic: Perhaps its time to look at alternatives and unbundle pear > instead of only seeimly (at a quick glance) keeping it alive for newer > PHP compatibility, which seems to have the main case for the last > couple of years. We had issues

Re: [PHP-DEV] Nullable cast (?int)

> Le 31 juil. 2018 à 21:07, Sara Golemon a écrit : > >> On Tue, Jul 31, 2018 at 2:23 PM, David Rodrigues >> wrote: >> Currently we have support to (int) cast (and similar). But I do think that >> we too need a possibility to do a nullable cast. In terms, it will cast to >> (int) only if valu

Re: [PHP-DEV] Nullable cast (?int)

On Tue, Jul 31, 2018 at 2:23 PM, David Rodrigues wrote: > Currently we have support to (int) cast (and similar). But I do think that > we too need a possibility to do a nullable cast. In terms, it will cast to > (int) only if value is not null, else it should be kept as null. > I like this proposa

[PHP-DEV] Nullable cast (?int)

Currently we have support to (int) cast (and similar). But I do think that we too need a possibility to do a nullable cast. In terms, it will cast to (int) only if value is not null, else it should be keeped as null. $number = 123; (int) $number => 123; (?int) $number => 123; $string = '123'; (in

Re: [PHP-DEV] PHP 7.3 branched

Den tir. 31. jul. 2018 kl. 17.58 skrev Christoph M. Becker : > [1] Off-topic: Perhaps its time to look at alternatives and unbundle pear instead of only seeimly (at a quick glance) keeping it alive for newer PHP compatibility, which seems to have

Re: [PHP-DEV] PHP 7.3 branched

On 31.07.2018 at 14:55, Derick Rethans wrote: > On Tue, 31 Jul 2018, Christoph M. Becker wrote: > >> This is real. . > > I've just compiled this from source, and I get the following upon "make > install": > > Warning: "continue" targeting

Re: [PHP-DEV] PHP 7.3 branched

On 31.07.2018 at 15:13, Christoph M. Becker wrote: > On 31.07.2018 at 15:09, Gabriel Caruso wrote: > >> Should we also update the README.GIT-RULES[1] file, or wait for the >> official release before it? >> >> [1]: >> http://git.php.net/?p=php-src.git;a=blob;f=README.GIT-RULES;h=1a0c1aebae7d27

[PHP-DEV] Re: PHP 7.1.21

On 31.07.2018 at 16:50, Jan Ehrhardt wrote: > On github PHP 7.1.21 appeared right now: > https://github.com/php/php-src/releases/tag/php-7.1.21 > Shouldn't that have been PHP 7.1.21RC1? Joe? -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit:

[PHP-DEV] PHP 7.1.21

On github PHP 7.1.21 appeared right now: https://github.com/php/php-src/releases/tag/php-7.1.21 Shouldn't that have been PHP 7.1.21RC1? -- Jan -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php

Re: [PHP-DEV] PHP 7.3 branched

On 31.07.2018 at 15:18, Nikita Popov wrote: > On Tue, Jul 31, 2018 at 3:13 PM, Christoph M. Becker > wrote: > >> On 31.07.2018 at 15:09, Gabriel Caruso wrote: >> >>> Should we also update the README.GIT-RULES[1] file, or wait for the >>> official release before it? >>> >>> [1]: >>> http://git.ph

Re: [PHP-DEV] PHP 7.3 branched

On Tue, Jul 31, 2018 at 3:13 PM, Christoph M. Becker wrote: > On 31.07.2018 at 15:09, Gabriel Caruso wrote: > > > Should we also update the README.GIT-RULES[1] file, or wait for the > > official release before it? > > > > [1]: > > http://git.php.net/?p=php-src.git;a=blob;f=README.GIT-RULES;h= > 1

Re: [PHP-DEV] PHP 7.3 branched

On 31.07.2018 at 15:09, Gabriel Caruso wrote: > Should we also update the README.GIT-RULES[1] file, or wait for the > official release before it? > > [1]: > http://git.php.net/?p=php-src.git;a=blob;f=README.GIT-RULES;h=1a0c1aebae7d27747cc9f8f0d9c4c36c62f7;hb=refs/heads/master#l47 Good catch,

Re: [PHP-DEV] PHP 7.3 branched

> > That's it! Feature freeze is on. > > Please include branch PHP-7.3 in all merges from 7.1 and earlier. > Please commit all 7.3 fixes to PHP-7.3 and merge to master which is > now targetting 7.4. > > This is real. . > > -- > Christoph M. Bec

Re: [PHP-DEV] PHP 7.3 branched

On Tue, 31 Jul 2018, Christoph M. Becker wrote: > That's it! Feature freeze is on. > > Please include branch PHP-7.3 in all merges from 7.1 and earlier. > Please commit all 7.3 fixes to PHP-7.3 and merge to master which is > now targetting 7.4. > > This is real.

[PHP-DEV] PHP 7.3 branched

That's it! Feature freeze is on. Please include branch PHP-7.3 in all merges from 7.1 and earlier. Please commit all 7.3 fixes to PHP-7.3 and merge to master which is now targetting 7.4. This is real. . -- Christoph M. Becker -- PHP Inter