Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123199
Precedence: bulk
MIME-Version: 1.0
References: <CAEPJdumvJNQ+JZ3wkLP-Q2O0y57g=W_hHFkuvOKMVJqqraKCzw@mail.gmail.com>
In-Reply-To: <CAEPJdumvJNQ+JZ3wkLP-Q2O0y57g=W_hHFkuvOKMVJqqraKCzw@mail.gmail.com>
Date: Wed, 24 Apr 2024 14:55:04 +0200
Message-ID: <CANS-=pdE8GX8-qpn3iZ_A7ZDKRW27mUhwA14rAtJmZOyZWa1-w@mail.gmail.com>
Subject: Re: [PHP-DEV] [RFC] [Discussion] #[\Deprecated] attribute again v1.3
To: =?UTF-8?Q?Benjamin_Au=C3=9Fenhofer?= <kontakt@beberlei.de>
Cc: PHP Internals <internals@lists.php.net>, 
	"tim@tideways-gmbh.com" <tim@tideways-gmbh.com>
Content-Type: multipart/alternative; boundary="0000000000008bbd4f0616d72f22"
From: kjarli@gmail.com (Lynn)

--0000000000008bbd4f0616d72f22
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Tue, Apr 23, 2024 at 3:30=E2=80=AFPM Benjamin Au=C3=9Fenhofer <kontakt@b=
eberlei.de>
wrote:

> Hi internals,
>
> My PR for #[\Deprecated] attribute was in hibernation for a long while no=
w
> and after some off-list discussion a few weeks ago I have decided to
> revisit it and asked Tim to help me out with the work.
>
> Tim has cleaned up the PR quite a bit and also worked in additional
> features such as #[Deprecated] support in stub generation.
>
> While there are still some small todos, at this point we want to restart
> the discussion about the RFC for inclusion in 8.4:
>
> RFC: https://wiki.php.net/rfc/deprecated_attribute
> PR: https://github.com/php/php-src/pull/11293
> Old discussion: https://externals.io/message/112554#112554
>
> Let me know about your questions and feedback.
>
> greetings
> Benjamin
>

JetBrains was mentioned in the previous discussion but not sure if this was
considered in the RFC:
https://github.com/JetBrains/phpstorm-attributes/blob/master/src/Deprecated=
.php

--0000000000008bbd4f0616d72f22
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><br></div><br><div class=3D"gmail_quote">=
<div dir=3D"ltr" class=3D"gmail_attr">On Tue, Apr 23, 2024 at 3:30=E2=80=AF=
PM Benjamin Au=C3=9Fenhofer &lt;<a href=3D"mailto:kontakt@beberlei.de">kont=
akt@beberlei.de</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" s=
tyle=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);pad=
ding-left:1ex"><div dir=3D"ltr">Hi internals,<div><br></div><div>My PR for =
#[\Deprecated] attribute was in hibernation for a long while now and after =
some off-list discussion a few weeks ago I have decided to revisit it and a=
sked Tim to help me out with the work.</div><div><br></div><div>Tim has cle=
aned up the PR quite a bit and also worked in additional features such as #=
[Deprecated] support in stub generation.</div><div><br></div><div>While the=
re are still some small todos, at this point we want to restart the discuss=
ion about the RFC for inclusion in 8.4:</div><div><br></div><div>RFC: <a hr=
ef=3D"https://wiki.php.net/rfc/deprecated_attribute" target=3D"_blank">http=
s://wiki.php.net/rfc/deprecated_attribute</a><br></div><div>PR: <a href=3D"=
https://github.com/php/php-src/pull/11293" target=3D"_blank">https://github=
.com/php/php-src/pull/11293</a><br></div><div>Old discussion:=C2=A0<a href=
=3D"https://externals.io/message/112554#112554" target=3D"_blank">https://e=
xternals.io/message/112554#112554</a></div><div><br></div><div>Let me know =
about your questions and feedback.</div><div><br></div><div>greetings</div>=
<div>Benjamin</div></div></blockquote><div><br></div><div>JetBrains was men=
tioned in the previous discussion but not sure if this was considered in th=
e RFC: <a href=3D"https://github.com/JetBrains/phpstorm-attributes/blob/mas=
ter/src/Deprecated.php">https://github.com/JetBrains/phpstorm-attributes/bl=
ob/master/src/Deprecated.php</a>=C2=A0</div></div></div>

--0000000000008bbd4f0616d72f22--