2016-09-24 23:29:49 +02:00
|
|
|
<?php
|
2023-11-16 22:43:00 +01:00
|
|
|
declare(strict_types=1);
|
2016-09-24 23:29:49 +02:00
|
|
|
|
|
|
|
class FreshRSS_FeedNotAdded_Exception extends Exception {
|
2023-03-31 08:23:39 +02:00
|
|
|
|
2023-10-30 20:47:27 +01:00
|
|
|
private string $url = '';
|
2016-09-24 23:29:49 +02:00
|
|
|
|
2023-03-31 08:23:39 +02:00
|
|
|
public function __construct(string $url) {
|
2016-09-24 23:29:49 +02:00
|
|
|
parent::__construct('Feed not added! ' . $url, 2147);
|
2022-01-04 13:59:09 +01:00
|
|
|
$this->url = $url;
|
2016-09-24 23:29:49 +02:00
|
|
|
}
|
|
|
|
|
2023-03-31 08:23:39 +02:00
|
|
|
public function url(): string {
|
2022-01-04 13:59:09 +01:00
|
|
|
return $this->url;
|
2016-09-24 23:29:49 +02:00
|
|
|
}
|
|
|
|
}
|