mirror of
https://github.com/php/php-src.git
synced 2026-04-22 23:48:14 +02:00
f0960879e4
The 'int dummy' parameter to this function makes it appear that it was intended as a signal handler, but it is not being used as such. So remove the redundant parameter.