Re: [PHP-DEV] [RFC} Deprecate and Remove ext/wwdx

2019-01-14 Thread Christoph M. Becker 
On 14.01.2019 at 12:46, Nikita Popov wrote:

> On Mon, Jan 14, 2019 at 12:22 PM Christoph M. Becker 
> wrote:
> 
>> On 14.01.2019 at 10:45, Nikita Popov wrote:
>>
>>> On Sun, Sep 16, 2018 at 6:49 PM Christoph M. Becker 
>>> wrote:
>>>
 Finally, I hereby put the “Deprecate and Remove ext/wwdx” RFC[1] under
 discussion.

 [1] 
>>>
>>> Do you plan to move this RFC forward to voting?
>>>
>>> I think during the discussion the consensus basically was that we want to
>>> move this to PECL ASAP (i.e. already in 7.4) and there was some
>>> disagreement on whether it should also throw deprecation warnings. I
>> would
>>> prefer that, but in the end what's most important is that the extension
>> is
>>> unbundled.
>>
>> Thanks for the reminder!
>>
>> I have updated the RFC to have a primary vote on whether to unbundle
>> ext/wddx or not, and a secondary vote on the detailed procedure.  I
>> guess that I have caught all suggestions so far, and although I don't
>> like these secondary votes, it seems we can't do without here.
> 
> Is the "dump the extension for PHP 7.4" option to remove the extension
> without putting it up on PECL?

Yes.  This option has been brought up by Stas[1], so I've added it.

[1] 

-- 
Christoph M. Becker

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Re: [PHP-DEV] [RFC} Deprecate and Remove ext/wwdx

2019-01-14 Thread Nikita Popov 
On Mon, Jan 14, 2019 at 12:22 PM Christoph M. Becker 
wrote:

> On 14.01.2019 at 10:45, Nikita Popov wrote:
>
> > On Sun, Sep 16, 2018 at 6:49 PM Christoph M. Becker 
> > wrote:
> >
> >> Finally, I hereby put the “Deprecate and Remove ext/wwdx” RFC[1] under
> >> discussion.
> >>
> >> [1] 
> >
> > Do you plan to move this RFC forward to voting?
> >
> > I think during the discussion the consensus basically was that we want to
> > move this to PECL ASAP (i.e. already in 7.4) and there was some
> > disagreement on whether it should also throw deprecation warnings. I
> would
> > prefer that, but in the end what's most important is that the extension
> is
> > unbundled.
>
> Thanks for the reminder!
>
> I have updated the RFC to have a primary vote on whether to unbundle
> ext/wddx or not, and a secondary vote on the detailed procedure.  I
> guess that I have caught all suggestions so far, and although I don't
> like these secondary votes, it seems we can't do without here.
>
> --
> Christoph M. Becker
>

Is the "dump the extension for PHP 7.4" option to remove the extension
without putting it up on PECL?

Nikita

Re: [PHP-DEV] [RFC} Deprecate and Remove ext/wwdx

2019-01-14 Thread Christoph M. Becker 
On 14.01.2019 at 10:45, Nikita Popov wrote:

> On Sun, Sep 16, 2018 at 6:49 PM Christoph M. Becker 
> wrote:
> 
>> Finally, I hereby put the “Deprecate and Remove ext/wwdx” RFC[1] under
>> discussion.
>>
>> [1] 
> 
> Do you plan to move this RFC forward to voting?
> 
> I think during the discussion the consensus basically was that we want to
> move this to PECL ASAP (i.e. already in 7.4) and there was some
> disagreement on whether it should also throw deprecation warnings. I would
> prefer that, but in the end what's most important is that the extension is
> unbundled.

Thanks for the reminder!

I have updated the RFC to have a primary vote on whether to unbundle
ext/wddx or not, and a secondary vote on the detailed procedure.  I
guess that I have caught all suggestions so far, and although I don't
like these secondary votes, it seems we can't do without here.

-- 
Christoph M. Becker

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Re: [PHP-DEV] [RFC} Deprecate and Remove ext/wwdx

2019-01-14 Thread Nikita Popov 
On Sun, Sep 16, 2018 at 6:49 PM Christoph M. Becker 
wrote:

> Hi!
>
> Finally, I hereby put the “Deprecate and Remove ext/wwdx” RFC[1] under
> discussion.
>
> [1] 


Do you plan to move this RFC forward to voting?

I think during the discussion the consensus basically was that we want to
move this to PECL ASAP (i.e. already in 7.4) and there was some
disagreement on whether it should also throw deprecation warnings. I would
prefer that, but in the end what's most important is that the extension is
unbundled.

Nikita

Re: [PHP-DEV] [RFC} Deprecate and Remove ext/wwdx

2018-09-17 Thread Stanislav Malyshev 
Hi!

> On 9/16/18 12:48 PM, Christoph M. Becker wrote:
>> Finally, I hereby put the “Deprecate and Remove ext/wwdx” RFC[1] under
>> discussion.

I assume it should be ext/wddx?

-- 
Stas Malyshev
smalys...@gmail.com

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Re: [PHP-DEV] [RFC} Deprecate and Remove ext/wwdx

2018-09-17 Thread Sebastian Bergmann 
On 9/16/18 12:48 PM, Christoph M. Becker wrote:
> Finally, I hereby put the “Deprecate and Remove ext/wwdx” RFC[1] under
> discussion.

+1. I have never seen this used anywhere.

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

[PHP-DEV] [RFC} Deprecate and Remove ext/wwdx

2018-09-16 Thread Christoph M. Becker 
Hi!

Finally, I hereby put the “Deprecate and Remove ext/wwdx” RFC[1] under
discussion.

[1] 

-- 
Christoph M. Becker

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php