@dg I didn't find a function prototype in PHP source, but found this line: https://github.com/php/php-src/blob/28e0a2129bf932af8e74ab7b1040adbad34af3bd/Makefile.global#L96 Probably manual is wrong.