> 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. Cheers, Máté