ext/date: various optimizations of _php_gettimeofday#18560

jorgsowa wants to merge 1 commit intophp:masterphp/php-src:masterfrom

jorgsowa:gettimeofday_typesjorgsowa/php-src:gettimeofday_typesCopy head branch name to clipboard