diff options
| author | wn_ <invalid@email.com> | 2021-11-15 12:24:38 +0000 |
|---|---|---|
| committer | wn_ <invalid@email.com> | 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) { |