1
0
mirror of https://github.com/php/php-src.git synced 2026-03-29 19:52:20 +02:00

Merge branch 'PHP-7.4'

This commit is contained in:
Nikita Popov
2019-10-07 10:51:22 +02:00

View File

@@ -4,8 +4,8 @@ Oniguruma retry limit
<?php
extension_loaded('mbstring') or die('skip mbstring not available');
if (!function_exists('mb_ereg')) die('skip mb_ereg not available');
if (version_compare(MB_ONIGURUMA_VERSION, '6.8.0') < 0) {
die('skip requires Oniguruma 6.8.0');
if (version_compare(MB_ONIGURUMA_VERSION, '6.9.3') < 0) {
die('skip requires Oniguruma >= 6.9.3');
}
?>
--FILE--