From ec1b0befc7664683ca0a7df48e65b16b72058cd1 Mon Sep 17 00:00:00 2001 From: lllusion3418 Date: Thu, 12 Mar 2020 11:08:39 +0100 Subject: 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 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'classes/diskcache.php') 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; -- cgit v1.2.3