avoid conflicting definitions for readgzfile

- official docs don't give it a type at all
- in php 8.1-8.4 it defaulted to "0"
- in php 8.5 it defaults to "false"

phpstan 2.1's database says it's an int, but assigning `false` to int is a syntax error, so let's override that to leave the type unspecified, which is compatible with both `0` and `false`

Author: shish

generated/8.1/zlib.php

@@ -31,4 +31,7 @@
     'socket_addrinfo_connect' => ['resource|false', 'addrinfo'=>'resource'], // doesn't return null
     'socket_addrinfo_lookup' => ['AddressInfo[]|false', 'node'=>'string', 'service='=>'mixed', 'hints='=>'array'], // returns AddressInfo[], not resource[]
     'socket_create_pair' => ['bool', 'domain'=>'int', 'type'=>'int', 'protocol'=>'int', '&w_fd'=>'Socket[]'], // fd is Socket[], not resource[]
+
+	// use_include_path is an int in 8.1-8.4 and a bool in 8.5
+	'readgzfile' => ['0|positive-int|false', 'filename'=>'string', 'use_include_path='=>''],
 ];