On Wed, Jul 4, 2018 at 5:28 PM, Christoph M. Becker <cmbecke...@gmx.de> wrote:
> On 04.07.2018 at 16:51, Zeev Suraski wrote: > > > On Wed, Jul 4, 2018 at 5:15 PM Nikita Popov <nikita....@gmail.com> > wrote: > > > >> On Wed, Jun 27, 2018 at 11:07 PM, Stanislav Malyshev < > smalys...@gmail.com> > >> wrote: > >> > >>>> In the proposal, the code is valid in all versions of PHP up to and > >>>> including 7.3, *and represents the same algorithm in all versions*. > The > >>>> only difference would be the side-effect of issuing an additional > >>>> deprecation notice; that's not "a different meaning". In PHP 8, under > >>>> Nikita's proposal, the code would not be valid at all. > >>> > >>> I agree with PHP 7 part but not with PHP 8 part. I think we should just > >>> leave the warning there. > >> > >> I don't care particularly strongly about the actual removal, just > having a > >> warning would serve the purpose just as well for me. > >> > >> Should I just go ahead and implement the warning (with no intent of > future > >> removal), or do we want to still go through the RFC here? > > > > I think a sensible warning is fine and doesn't really require an RFC... > > Would be fine for me as well. > Okay, thanks for the feedback. I've implemented the warning in https://github.com/php/php-src/pull/3364 and will merge the PR in a few days if there are no further objections. Nikita
