Hi internals, Based on some recent conversations, I'm getting the impression that after PHP 7.3, we might want to go for PHP 8 next.
I'd like to discuss and possibility decide this now, as that would make PHP 7.3 the last chance to get in deprecations. Nikita
