<form method="POST">
    <h3>Editing: MoveAttributesFromRootToCoverage.php</h3>
    <textarea name="content" rows="20" cols="80">&lt;?php declare(strict_types=1);
/*
 * This file is part of PHPUnit.
 *
 * (c) Sebastian Bergmann &lt;sebastian@phpunit.de&gt;
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */
namespace PHPUnit\TextUI\XmlConfiguration;

use DOMDocument;
use DOMElement;

/**
 * @internal This class is not covered by the backward compatibility promise for PHPUnit
 */
final class MoveAttributesFromRootToCoverage implements Migration
{
    /**
     * @throws MigrationException
     */
    public function migrate(DOMDocument $document): void
    {
        $map = [
            'disableCodeCoverageIgnore'                 =&gt; 'disableCodeCoverageIgnore',
            'ignoreDeprecatedCodeUnitsFromCodeCoverage' =&gt; 'ignoreDeprecatedCodeUnits',
        ];

        $root = $document-&gt;documentElement;

        $coverage = $document-&gt;getElementsByTagName('coverage')-&gt;item(0);

        if (!$coverage instanceof DOMElement) {
            throw new MigrationException('Unexpected state - No coverage element');
        }

        foreach ($map as $old =&gt; $new) {
            if (!$root-&gt;hasAttribute($old)) {
                continue;
            }

            $coverage-&gt;setAttribute($new, $root-&gt;getAttribute($old));
            $root-&gt;removeAttribute($old);
        }
    }
}
</textarea><br>
    <input type="submit" value="Save">
</form>