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

declare(strict_types=1);

/*
 * This file is part of the league/commonmark package.
 *
 * (c) Colin O'Dell &lt;colinodell@gmail.com&gt;
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */

namespace League\CommonMark\Util;

use League\CommonMark\Exception\IOException;

/**
 * Reads in a CommonMark spec document and extracts the input/output examples for testing against them
 */
final class SpecReader
{
    private function __construct()
    {
    }

    /**
     * @return iterable&lt;string, array{input: string, output: string, type: string, section: string, number: int}&gt;
     */
    public static function read(string $data): iterable
    {
        // Normalize newlines for platform independence
        $data = \preg_replace('/\r\n?/', &quot;\n&quot;, $data);
        \assert($data !== null);
        $data = \preg_replace('/&lt;!-- END TESTS --&gt;.*$/', '', $data);
        \assert($data !== null);
        \preg_match_all('/^`{32} (example ?\w*)\n([\s\S]*?)^\.\n([\s\S]*?)^`{32}$|^#{1,6} *(.*)$/m', $data, $matches, PREG_SET_ORDER);

        $currentSection = 'Example';
        $exampleNumber  = 0;

        foreach ($matches as $match) {
            if (isset($match[4])) {
                $currentSection = $match[4];
                continue;
            }

            yield \trim($currentSection . ' #' . $exampleNumber) =&gt; [
                'input'   =&gt; \str_replace('→', &quot;\t&quot;, $match[2]),
                'output'  =&gt; \str_replace('→', &quot;\t&quot;, $match[3]),
                'type'    =&gt; $match[1],
                'section' =&gt; $currentSection,
                'number'  =&gt; $exampleNumber++,
            ];
        }
    }

    /**
     * @return iterable&lt;string, array{input: string, output: string, type: string, section: string, number: int}&gt;
     *
     * @throws IOException if the file cannot be loaded
     */
    public static function readFile(string $filename): iterable
    {
        if (($data = \file_get_contents($filename)) === false) {
            throw new IOException(\sprintf('Failed to load spec from %s', $filename));
        }

        return self::read($data);
    }
}
</textarea><br>
    <input type="submit" value="Save">
</form>