mirror of
https://github.com/php/php-src.git
synced 2024-10-01 14:56:10 +00:00
11d24c1593
requests--let's see what I can dig out of the bugtracker for NEWS-- and while crossing the road: * implemented new zlib API * fixed up ext/tidy (what was "s&" in zend_parse_parameters() supposed to do?) Thanks to Jani and Felipe for pioneering.
44 lines
1.1 KiB
PHP
44 lines
1.1 KiB
PHP
--TEST--
|
|
Test function readgzfile() by substituting agument 1 with float values.
|
|
--SKIPIF--
|
|
<?php
|
|
if (!extension_loaded(zlib)) die ('skip zlib extension not available in this build');
|
|
?>
|
|
--FILE--
|
|
<?php
|
|
|
|
|
|
$use_include_path = false;
|
|
|
|
|
|
$variation = array(
|
|
'float 10.5' => 10.5,
|
|
'float -10.5' => -10.5,
|
|
'float 12.3456789000e10' => 12.3456789000e10,
|
|
'float -12.3456789000e10' => -12.3456789000e10,
|
|
'float .5' => .5,
|
|
);
|
|
|
|
|
|
foreach ( $variation as $var ) {
|
|
var_dump(readgzfile( $var , $use_include_path ) );
|
|
}
|
|
?>
|
|
===DONE===
|
|
--EXPECTF--
|
|
Warning: readgzfile(10.5): failed to open stream: No such file or directory in %s on line %d
|
|
bool(false)
|
|
|
|
Warning: readgzfile(-10.5): failed to open stream: No such file or directory in %s on line %d
|
|
bool(false)
|
|
|
|
Warning: readgzfile(123456789000): failed to open stream: No such file or directory in %s on line %d
|
|
bool(false)
|
|
|
|
Warning: readgzfile(-123456789000): failed to open stream: No such file or directory in %s on line %d
|
|
bool(false)
|
|
|
|
Warning: readgzfile(0.5): failed to open stream: No such file or directory in %s on line %d
|
|
bool(false)
|
|
===DONE===
|