As I can see in the code, the problem was already fixed 6 months ago, but (I assume unintentionally) removed 8 days ago (rev @2814924).
The fix was re-added with rev @2814930, but on another place so its not working.
So please re-introduce the PHP8 fix of rev @2730300.
