CrawlerExceptionHandler.php

Go to the documentation of this file.

<?php

declare(strict_types=1);

namespace ILIAS\UI\Implementation\Crawler\Exception;

interface CrawlerExceptionHandler
{
    public function handleException(CrawlerException $ex): void;
}