clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-22 10:27:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'PHP-7.4'

Browse Source
This commit is contained in:
Nikita Popov 2019-09-09 17:15:41 +02:00
commit f2b7a4393a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ext/standard/microtime.c
View File

@ -57,7 +57,7 @@ static void _php_gettimeofday(INTERNAL_FUNCTION_PARAMETERS, int mode)
ZEND_PARSE_PARAMETERS_END();
if (gettimeofday(&tp, NULL)) {
RETURN_FALSE;
ZEND_ASSERT(0 && "gettimeofday() can't fail");
}
if (get_as_float) {