diff --git a/resources/functionMap.php b/resources/functionMap.php index 51a7c99426..57ab6c1bfc 100644 --- a/resources/functionMap.php +++ b/resources/functionMap.php @@ -12305,8 +12305,8 @@ 'tidyNode::isJste' => ['bool'], 'tidyNode::isPhp' => ['bool'], 'tidyNode::isText' => ['bool'], -'time' => ['int'], -'time_nanosleep' => ['array{0:int,1:int}|bool', 'seconds'=>'int', 'nanoseconds'=>'int'], +'time' => ['positive-int'], +'time_nanosleep' => ['array{0:0|positive-int,1:0|positive-int}|bool', 'seconds'=>'int', 'nanoseconds'=>'int'], 'time_sleep_until' => ['bool', 'timestamp'=>'float'], 'timezone_abbreviations_list' => ['array'], 'timezone_identifiers_list' => ['array', 'what='=>'int', 'country='=>'?string'],