krz/vox-populi

A Tumblr web client.

clone: git clone https://gitbay.org/krz/vox-populi.git

main: vendor/symfony/polyfill-php72/bootstrap.php · raw

 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
12use Symfony\Polyfill\Php72 as p;
13
14if (PHP_VERSION_ID >= 70200) {
15    return;
16}
17
18if (!defined('PHP_FLOAT_DIG')) {
19    define('PHP_FLOAT_DIG', 15);
20}
21if (!defined('PHP_FLOAT_EPSILON')) {
22    define('PHP_FLOAT_EPSILON', 2.2204460492503E-16);
23}
24if (!defined('PHP_FLOAT_MIN')) {
25    define('PHP_FLOAT_MIN', 2.2250738585072E-308);
26}
27if (!defined('PHP_FLOAT_MAX')) {
28    define('PHP_FLOAT_MAX', 1.7976931348623157E+308);
29}
30if (!defined('PHP_OS_FAMILY')) {
31    define('PHP_OS_FAMILY', p\Php72::php_os_family());
32}
33
34if ('\\' === 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}
37if (!function_exists('stream_isatty')) {
38    function stream_isatty($stream) { return p\Php72::stream_isatty($stream); }
39}
40if (!function_exists('utf8_encode')) {
41    function utf8_encode($s) { return p\Php72::utf8_encode($s); }
42}
43if (!function_exists('utf8_decode')) {
44    function utf8_decode($s) { return p\Php72::utf8_decode($s); }
45}
46if (!function_exists('spl_object_id')) {
47    function spl_object_id($s) { return p\Php72::spl_object_id($s); }
48}
49if (!function_exists('mb_ord')) {
50    function mb_ord($s, $enc = null) { return p\Php72::mb_ord($s, $enc); }
51}
52if (!function_exists('mb_chr')) {
53    function mb_chr($code, $enc = null) { return p\Php72::mb_chr($code, $enc); }
54}
55if (!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}