[ Index ] |
PHP Cross Reference of YOURLS |
[Summary view] [Print] [Text view]
1 <?php 2 3 /* 4 * This file is part of the Symfony package. 5 * 6 * (c) Fabien Potencier <[email protected]> 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($string) { return p\Php72::utf8_encode($string); } 42 } 43 if (!function_exists('utf8_decode')) { 44 function utf8_decode($string) { return p\Php72::utf8_decode($string); } 45 } 46 if (!function_exists('spl_object_id')) { 47 function spl_object_id($object) { return p\Php72::spl_object_id($object); } 48 } 49 if (!function_exists('mb_ord')) { 50 function mb_ord($string, $encoding = null) { return p\Php72::mb_ord($string, $encoding); } 51 } 52 if (!function_exists('mb_chr')) { 53 function mb_chr($codepoint, $encoding = null) { return p\Php72::mb_chr($codepoint, $encoding); } 54 } 55 if (!function_exists('mb_scrub')) { 56 function mb_scrub($string, $encoding = null) { $encoding = null === $encoding ? mb_internal_encoding() : $encoding; return mb_convert_encoding($string, $encoding, $encoding); } 57 }
title
Description
Body
title
Description
Body
title
Description
Body
title
Body
Generated: Tue Jan 21 05:10:11 2025 | Cross-referenced by PHPXref 0.7.1 |