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;
}