| 1 |
<?php |
| 2 |
|
| 3 |
/* |
| 4 |
* This file is part of the Symfony package. |
| 5 |
* |
| 6 |
* (c) Fabien Potencier <fabien@symfony.com> |
| 7 |
* |
| 8 |
* For the full copyright and license information, please view the LICENSE |
| 9 |
* file that was distributed with this source code. |
| 10 |
*/ |
| 11 |
|
| 12 |
use Symfony\Polyfill\Php72 as p; |
| 13 |
|
| 14 |
if (PHP_VERSION_ID >= 70200) { |
| 15 |
return; |
| 16 |
} |
| 17 |
|
| 18 |
if (!defined('PHP_FLOAT_DIG')) { |
| 19 |
define('PHP_FLOAT_DIG', 15); |
| 20 |
} |
| 21 |
if (!defined('PHP_FLOAT_EPSILON')) { |
| 22 |
define('PHP_FLOAT_EPSILON', 2.2204460492503E-16); |
| 23 |
} |
| 24 |
if (!defined('PHP_FLOAT_MIN')) { |
| 25 |
define('PHP_FLOAT_MIN', 2.2250738585072E-308); |
| 26 |
} |
| 27 |
if (!defined('PHP_FLOAT_MAX')) { |
| 28 |
define('PHP_FLOAT_MAX', 1.7976931348623157E+308); |
| 29 |
} |
| 30 |
if (!defined('PHP_OS_FAMILY')) { |
| 31 |
define('PHP_OS_FAMILY', p\Php72::php_os_family()); |
| 32 |
} |
| 33 |
|
| 34 |
if ('\\' === DIRECTORY_SEPARATOR && !function_exists('sapi_windows_vt100_support')) { |
| 35 |
function sapi_windows_vt100_support($stream, $enable = null) { return p\Php72::sapi_windows_vt100_support($stream, $enable); } |
| 36 |
} |
| 37 |
if (!function_exists('stream_isatty')) { |
| 38 |
function stream_isatty($stream) { return p\Php72::stream_isatty($stream); } |
| 39 |
} |
| 40 |
if (!function_exists('utf8_encode')) { |
| 41 |
function utf8_encode($s) { return p\Php72::utf8_encode($s); } |
| 42 |
} |
| 43 |
if (!function_exists('utf8_decode')) { |
| 44 |
function utf8_decode($s) { return p\Php72::utf8_decode($s); } |
| 45 |
} |
| 46 |
if (!function_exists('spl_object_id')) { |
| 47 |
function spl_object_id($s) { return p\Php72::spl_object_id($s); } |
| 48 |
} |
| 49 |
if (!function_exists('mb_ord')) { |
| 50 |
function mb_ord($s, $enc = null) { return p\Php72::mb_ord($s, $enc); } |
| 51 |
} |
| 52 |
if (!function_exists('mb_chr')) { |
| 53 |
function mb_chr($code, $enc = null) { return p\Php72::mb_chr($code, $enc); } |
| 54 |
} |
| 55 |
if (!function_exists('mb_scrub')) { |
| 56 |
function mb_scrub($s, $enc = null) { $enc = null === $enc ? mb_internal_encoding() : $enc; return mb_convert_encoding($s, $enc, $enc); } |
| 57 |
} |
| 58 |
|
