Use positive-int in parameters only on PHP 8

phpstan · Aug 20, 2021 · 119facc · 119facc · ondrejmirtes · Aug 20, 2021
1 parent 2f1615b
commit 119facc
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/resources/functionMap.php b/resources/functionMap.php
@@ -11696,7 +11696,7 @@
 'str_replace' => ['string|array', 'search'=>'string|array', 'replace'=>'string|array', 'subject'=>'string|array', '&w_replace_count='=>'int'],
 'str_rot13' => ['string', 'str'=>'string'],
 'str_shuffle' => ['string', 'str'=>'string'],
-'str_split' => ['array<int,string>|false', 'str'=>'string', 'split_length='=>'positive-int'],
+'str_split' => ['array<int,string>|false', 'str'=>'string', 'split_length='=>'int'],
 'str_word_count' => ['array<int,string>|int|false', 'string'=>'string', 'format='=>'int', 'charlist='=>'string'],
 'strcasecmp' => ['int', 'str1'=>'string', 'str2'=>'string'],
 'strchr' => ['string|false', 'haystack'=>'string', 'needle'=>'string', 'before_needle='=>'bool'],

diff --git a/resources/functionMap_php74delta.php b/resources/functionMap_php74delta.php
@@ -39,7 +39,7 @@
 		'FFI::typeof' => ['FFI\CType', '&ptr'=>'FFI\CData'],
 		'FFI::type' => ['FFI\CType', 'type'=>'string'],
 		'get_mangled_object_vars' => ['array', 'obj'=>'object'],
-		'mb_str_split' => ['array<int,string>|false', 'str'=>'string', 'split_length='=>'positive-int', 'encoding='=>'string'],
+		'mb_str_split' => ['array<int,string>|false', 'str'=>'string', 'split_length='=>'int', 'encoding='=>'string'],
 		'password_algos' => ['array<int, string>'],
 		'password_hash' => ['string|false', 'password'=>'string', 'algo'=>'string|null', 'options='=>'array'],
 		'password_needs_rehash' => ['bool', 'hash'=>'string', 'algo'=>'string|null', 'options='=>'array'],