- test for bug #34191

diff --git a/tests/bug_34191.phpt b/tests/bug_34191.phpt
new file mode 100644 (file)
index 0000000..65c2b89
Binary files /dev/null and b/tests/bug_34191.phpt differ

diff --git a/tests/skip.inc b/tests/skip.inc
index 09da16948c3a1adc24782a301573391803e8e6ca..f273c91068d2cb8d0c8942c95fa032c90fe12c10 100644 (file)
--- a/tests/skip.inc
+++ b/tests/skip.inc
@@ -3,7 +3,7 @@ defined('STDOUT') or define('STDOUT', fopen('php://stdout', 'w'));
 function skipif($if, $skip) { if ($if) { fprintf(STDOUT, "skip $skip"); exit(); }}
 function checkcgi() { skipif(!strncasecmp('CLI', PHP_SAPI, 3), 'need CGI SAPI'); }
 function checkext($ext) { skipif(!extension_loaded($ext), "need ext/$ext"); }
-function checkver($ver) { skipif($ver > (int) PHP_VERSION, "need PHP v$ver"); }
+function checkver($ver) { skipif(round($ver,1) > round((double) PHP_VERSION,1), "need PHP v$ver"); }
 function checkurl($url) { skipif(!@fsockopen($url, 80), "$url not responsive"); }
 function checkcls($cls) { skipif(!class_exists($cls), "need class $cls"); }
 checkext('http');