Le sam. 20 janv. 2024 à 13:42, Máté Kocsis <kocsismat...@gmail.com> a écrit :
> > What should users replace $bucket property with in PHP 8.4? Is there > > an alternative or is this a deprecation without a way to solve it? If > > there is currently no alternative I would not deprecate it. Just > > remove it once it becomes useless. > > > > Do users actually use the $bucket property? I would be surprised if they > did. They don't > have to use it as far as I can see. > I've used it a few year ago in a stream filtering experiment: https://github.com/nicolas-grekas/Patchwork-PHP-Parser/blob/master/class/Patchwork/PPP/AbstractStreamProcessor.php I don't remember the purpose of the property though. This would need more investigation. Nicolas
