Re: #[Deprecated] Attribute
| From: | Bruce Weirdan | Date: | Wed, 23 Dec 2020 01:09:42 +0000 |
| Subject: | Re: #[Deprecated] Attribute | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-112607@lists.php.net to get a copy of this message | ||
On Tue, Dec 22, 2020 at 8:55 PM Sara Golemon <pollita@php.net> wrote:
>
> You could do that now with a polyfill from userspace. If the annotation
> need not have an effect, then it's just any other userspace implementation.
>
It's possible now, while the attribute is not provided by PHP. But once it
gets introduced and *if* it forbids usage on some elements it wouldn't be
possible to fix this from userspace.
--
Best regards,
Bruce Weirdan mailto:
weirdan@gmail.com