Merge pull request #7950 from annando/notice

Fix notice "Undefined index: href"
This commit is contained in:
Philipp 2019-12-14 11:00:04 +01:00 committed by GitHub
commit 1479c426c7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1574,7 +1574,7 @@ class Probe
$attr[$attribute->name] = trim($attribute->value); $attr[$attribute->name] = trim($attribute->value);
} }
if ($feed_url == "") { if (empty($feed_url) && !empty($attr['href'])) {
$feed_url = $attr["href"]; $feed_url = $attr["href"];
} }
} }