diff options
author | wn_ <[email protected]> | 2021-11-15 12:24:38 +0000 |
---|---|---|
committer | wn_ <[email protected]> | 2021-11-15 12:24:38 +0000 |
commit | 109b702ed0cd31a0dc8466b8127882d263705d8d (patch) | |
tree | 615ef350b657c0fbb5b4c57a7769bdaad48f7bfa /classes/article.php | |
parent | 85b974af323a5819c888439bad2bf46ccaaaa4cd (diff) |
Minor fix to DOMNodeList#item() potential type (null vs false)
Diffstat (limited to 'classes/article.php')
-rwxr-xr-x | classes/article.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/classes/article.php b/classes/article.php index baeea059b..1f97f0e16 100755 --- a/classes/article.php +++ b/classes/article.php @@ -602,7 +602,7 @@ class Article extends Handler_Protected { } else if ($e->nodeName == "video") { $article_image = $e->getAttribute("poster"); - /** @var DOMElement|false $src */ + /** @var DOMElement|null $src */ $src = $tmpxpath->query("//source[@src]", $e)->item(0); if ($src) { |