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

1 files changed, 1 insertions, 1 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;