diff options
author | lllusion3418 <[email protected]> | 2020-03-12 11:08:39 +0100 |
---|---|---|
committer | lllusion3418 <[email protected]> | 2020-03-12 11:08:39 +0100 |
commit | ec1b0befc7664683ca0a7df48e65b16b72058cd1 (patch) | |
tree | 74f04d7d6ef6fa1347557b9982d51d8b3f6bb80f /classes/diskcache.php | |
parent | cdde23b4dc948bdc2af659802ec1f53e351d7dae (diff) |
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
Diffstat (limited to 'classes/diskcache.php')
-rw-r--r-- | classes/diskcache.php | 2 |
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; |