From ec1b0befc7664683ca0a7df48e65b16b72058cd1 Mon Sep 17 00:00:00 2001
From: lllusion3418 <lllusion3418@gmail.com>
Date: Thu, 12 Mar 2020 11:08:39 +0100
Subject: [PATCH] add support for video[@src] in media cache

it's a valid alternative to a source[@src] child element:
https://developer.mozilla.org/en-US/docs/Web/HTML/Element/video
---
 classes/diskcache.php | 2 +-
 classes/rssutils.php  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/classes/diskcache.php b/classes/diskcache.php
index ad775ac11..ba6aef858 100644
--- a/classes/diskcache.php
+++ b/classes/diskcache.php
@@ -89,7 +89,7 @@ class DiskCache {
 			$xpath = new DOMXPath($doc);
 			$cache = new DiskCache("images");
 
-			$entries = $xpath->query('(//img[@src]|//picture/source[@src]|//video[@poster]|//video/source[@src]|//audio/source[@src])');
+			$entries = $xpath->query('(//img[@src]|//picture/source[@src]|//video[@poster]|//video[@src]|//video/source[@src]|//audio/source[@src])');
 
 			$need_saving = false;
 
diff --git a/classes/rssutils.php b/classes/rssutils.php
index be79dc27b..68523ba8a 100755
--- a/classes/rssutils.php
+++ b/classes/rssutils.php
@@ -1229,7 +1229,7 @@ class RSSUtils {
 			if ($doc->loadHTML($html)) {
 				$xpath = new DOMXPath($doc);
 
-				$entries = $xpath->query('(//img[@src])|(//video/source[@src])|(//audio/source[@src])|(//video[@poster])');
+				$entries = $xpath->query('(//img[@src])|(//video/source[@src])|(//audio/source[@src])|(//video[@poster])|(//video[@src])');
 
 				foreach ($entries as $entry) {
 					foreach (array('src', 'poster') as $attr) {