mirror of
https://github.com/FreshRSS/FreshRSS.git
synced 2025-12-31 01:17:48 -05:00
15745d42b7
* revert Fix code indentation Fix code Upgrade code to php 8.1 * fix remarques * code review * code review * code review * Apply suggestions from code review * code review * Fixes * Many remainging updates of array syntax * Lost case 'reading-list' * Uneeded PHPDoc --------- Co-authored-by: Luc Sanchez <l.sanchez-prestataire@alptis.fr> Co-authored-by: Alexandre Alapetite <alexandre@alapetite.fr>
9 lines
207 B
PHP
9 lines
207 B
PHP
<?php
|
|
declare(strict_types=1);
|
|
|
|
class FreshRSS_BadUrl_Exception extends FreshRSS_Feed_Exception {
|
|
public function __construct(string $url) {
|
|
parent::__construct('`' . $url . '` is not a valid URL');
|
|
}
|
|
}
|