Fix wrong signature for DateInterval::createFromDateString in 8.3+ #14479

Author: sunkan

resources/functionMap_php83delta.php

@@ -23,6 +23,7 @@
 	'new' => [
 		'DateTime::modify' => ['static', 'modify'=>'string'],
 		'DateTimeImmutable::modify' => ['static', 'modify'=>'string'],
+		'DateInterval::createFromDateString' => ['DateInterval', 'time'=>'string'],
 		'str_decrement' => ['non-empty-string', 'string'=>'non-empty-string'],
 		'str_increment' => ['non-falsy-string', 'string'=>'non-empty-string'],
 		'gc_status' => ['array{running:bool,protected:bool,full:bool,runs:int,collected:int,threshold:int,buffer_size:int,roots:int,application_time:float,collector_time:float,destructor_time:float,free_time:float}'],

tests/PHPStan/Analyser/nsrt/bug-14479-83.php

@@ -0,0 +1,13 @@
+<?php // lint >= 8.3
+
+namespace Bug14479Php83;
+
+use function PHPStan\Testing\assertType;
+
+function test(string $input) {
+	assertType(\DateInterval::class, \DateInterval::createFromDateString($input));
+}
+
+function test2() {
+	assertType('*NEVER*', \DateInterval::createFromDateString('foo'));
+}