<?php

declare( strict_types = 1 );

namespace Wikimedia\Dodo;

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