<form method="POST">
    <h3>Editing: Php72.php</h3>
    <textarea name="content" rows="20" cols="80">&lt;?php

/*
 * This file is part of the Symfony package.
 *
 * (c) Fabien Potencier &lt;fabien@symfony.com&gt;
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */

namespace Symfony\Polyfill\Php72;

/**
 * @author Nicolas Grekas &lt;p@tchwork.com&gt;
 * @author Dariusz Rumiński &lt;dariusz.ruminski@gmail.com&gt;
 *
 * @internal
 */
final class Php72
{
    private static $hashMask;

    public static function utf8_encode($s)
    {
        $s .= $s;
        $len = \strlen($s);

        for ($i = $len &gt;&gt; 1, $j = 0; $i &lt; $len; ++$i, ++$j) {
            switch (true) {
                case $s[$i] &lt; &quot;\x80&quot;: $s[$j] = $s[$i]; break;
                case $s[$i] &lt; &quot;\xC0&quot;: $s[$j] = &quot;\xC2&quot;; $s[++$j] = $s[$i]; break;
                default: $s[$j] = &quot;\xC3&quot;; $s[++$j] = \chr(\ord($s[$i]) - 64); break;
            }
        }

        return substr($s, 0, $j);
    }

    public static function utf8_decode($s)
    {
        $s = (string) $s;
        $len = \strlen($s);

        for ($i = 0, $j = 0; $i &lt; $len; ++$i, ++$j) {
            switch ($s[$i] &amp; &quot;\xF0&quot;) {
                case &quot;\xC0&quot;:
                case &quot;\xD0&quot;:
                    $c = (\ord($s[$i] &amp; &quot;\x1F&quot;) &lt;&lt; 6) | \ord($s[++$i] &amp; &quot;\x3F&quot;);
                    $s[$j] = $c &lt; 256 ? \chr($c) : '?';
                    break;

                case &quot;\xF0&quot;:
                    ++$i;
                    // no break

                case &quot;\xE0&quot;:
                    $s[$j] = '?';
                    $i += 2;
                    break;

                default:
                    $s[$j] = $s[$i];
            }
        }

        return substr($s, 0, $j);
    }

    public static function php_os_family()
    {
        if ('\\' === \DIRECTORY_SEPARATOR) {
            return 'Windows';
        }

        $map = [
            'Darwin' =&gt; 'Darwin',
            'DragonFly' =&gt; 'BSD',
            'FreeBSD' =&gt; 'BSD',
            'NetBSD' =&gt; 'BSD',
            'OpenBSD' =&gt; 'BSD',
            'Linux' =&gt; 'Linux',
            'SunOS' =&gt; 'Solaris',
        ];

        return $map[\PHP_OS] ?? 'Unknown';
    }

    public static function spl_object_id($object)
    {
        if (null === self::$hashMask) {
            self::initHashMask();
        }
        if (null === $hash = spl_object_hash($object)) {
            return;
        }

        // On 32-bit systems, PHP_INT_SIZE is 4,
        return self::$hashMask ^ hexdec(substr($hash, 16 - (\PHP_INT_SIZE * 2 - 1), \PHP_INT_SIZE * 2 - 1));
    }

    public static function sapi_windows_vt100_support($stream, $enable = null)
    {
        if (!\is_resource($stream)) {
            trigger_error('sapi_windows_vt100_support() expects parameter 1 to be resource, '.\gettype($stream).' given', \E_USER_WARNING);

            return false;
        }

        $meta = stream_get_meta_data($stream);

        if ('STDIO' !== $meta['stream_type']) {
            trigger_error('sapi_windows_vt100_support() was not able to analyze the specified stream', \E_USER_WARNING);

            return false;
        }

        // We cannot actually disable vt100 support if it is set
        if (false === $enable || !self::stream_isatty($stream)) {
            return false;
        }

        // The native function does not apply to stdin
        $meta = array_map('strtolower', $meta);
        $stdin = 'php://stdin' === $meta['uri'] || 'php://fd/0' === $meta['uri'];

        return !$stdin
            &amp;&amp; (false !== getenv('ANSICON')
            || 'ON' === getenv('ConEmuANSI')
            || 'xterm' === getenv('TERM')
            || 'Hyper' === getenv('TERM_PROGRAM'));
    }

    public static function stream_isatty($stream)
    {
        if (!\is_resource($stream)) {
            trigger_error('stream_isatty() expects parameter 1 to be resource, '.\gettype($stream).' given', \E_USER_WARNING);

            return false;
        }

        if ('\\' === \DIRECTORY_SEPARATOR) {
            $stat = @fstat($stream);
            // Check if formatted mode is S_IFCHR
            return $stat ? 0020000 === ($stat['mode'] &amp; 0170000) : false;
        }

        return \function_exists('posix_isatty') &amp;&amp; @posix_isatty($stream);
    }

    private static function initHashMask()
    {
        $obj = (object) [];
        self::$hashMask = -1;

        // check if we are nested in an output buffering handler to prevent a fatal error with ob_start() below
        $obFuncs = ['ob_clean', 'ob_end_clean', 'ob_flush', 'ob_end_flush', 'ob_get_contents', 'ob_get_flush'];
        foreach (debug_backtrace(\PHP_VERSION_ID &gt;= 50400 ? \DEBUG_BACKTRACE_IGNORE_ARGS : false) as $frame) {
            if (isset($frame['function'][0]) &amp;&amp; !isset($frame['class']) &amp;&amp; 'o' === $frame['function'][0] &amp;&amp; \in_array($frame['function'], $obFuncs)) {
                $frame['line'] = 0;
                break;
            }
        }
        if (!empty($frame['line'])) {
            ob_start();
            debug_zval_dump($obj);
            self::$hashMask = (int) substr(ob_get_clean(), 17);
        }

        self::$hashMask ^= hexdec(substr(spl_object_hash($obj), 16 - (\PHP_INT_SIZE * 2 - 1), \PHP_INT_SIZE * 2 - 1));
    }

    public static function mb_chr($code, $encoding = null)
    {
        if (0x80 &gt; $code %= 0x200000) {
            $s = \chr($code);
        } elseif (0x800 &gt; $code) {
            $s = \chr(0xC0 | $code &gt;&gt; 6).\chr(0x80 | $code &amp; 0x3F);
        } elseif (0x10000 &gt; $code) {
            $s = \chr(0xE0 | $code &gt;&gt; 12).\chr(0x80 | $code &gt;&gt; 6 &amp; 0x3F).\chr(0x80 | $code &amp; 0x3F);
        } else {
            $s = \chr(0xF0 | $code &gt;&gt; 18).\chr(0x80 | $code &gt;&gt; 12 &amp; 0x3F).\chr(0x80 | $code &gt;&gt; 6 &amp; 0x3F).\chr(0x80 | $code &amp; 0x3F);
        }

        if ('UTF-8' !== $encoding = $encoding ?? mb_internal_encoding()) {
            $s = mb_convert_encoding($s, $encoding, 'UTF-8');
        }

        return $s;
    }

    public static function mb_ord($s, $encoding = null)
    {
        if (null === $encoding) {
            $s = mb_convert_encoding($s, 'UTF-8');
        } elseif ('UTF-8' !== $encoding) {
            $s = mb_convert_encoding($s, 'UTF-8', $encoding);
        }

        if (1 === \strlen($s)) {
            return \ord($s);
        }

        $code = ($s = unpack('C*', substr($s, 0, 4))) ? $s[1] : 0;
        if (0xF0 &lt;= $code) {
            return (($code - 0xF0) &lt;&lt; 18) + (($s[2] - 0x80) &lt;&lt; 12) + (($s[3] - 0x80) &lt;&lt; 6) + $s[4] - 0x80;
        }
        if (0xE0 &lt;= $code) {
            return (($code - 0xE0) &lt;&lt; 12) + (($s[2] - 0x80) &lt;&lt; 6) + $s[3] - 0x80;
        }
        if (0xC0 &lt;= $code) {
            return (($code - 0xC0) &lt;&lt; 6) + $s[2] - 0x80;
        }

        return $code;
    }
}
</textarea><br>
    <input type="submit" value="Save">
</form>