Hey!
The vote is now closed (a little tardily, I’m on holiday).
Yays: 42
Nays: 11
The Yays have it.
There was an additional vote on noreturn vs never:
noreturn: 14
never: 34
Never is the clear winner, so we’ll adopt never for the name of PHP’s bottom
type.
Thanks to everyone who contributed
> ```
> $ readelf -Ws /usr/lib64/php8.0/lib64/libphp.so | grep timelib # nothing
> ```
Just a follow up to this, seems to be Gentoo specific. Somewhere down the line
certain symbols are being removed. Going to resolve this with downstream.
Sorry!
--
Marco Sirabella
--
PHP Internals - PHP Runt
