<?php

declare( strict_types = 1 );

namespace Wikimedia\Dodo;

/**
 * @phan-forbid-undeclared-magic-properties
 */
class RangeError extends \RangeException implements \Wikimedia\IDLeDOM\RangeError {
}