diff --git a/package/wpe/wpewebkit/0011-change-position-query-frequency-10ms.patch b/package/wpe/wpewebkit/0011-change-position-query-frequency-10ms.patch new file mode 100644 index 000000000000..dcd6103fa12e --- /dev/null +++ b/package/wpe/wpewebkit/0011-change-position-query-frequency-10ms.patch @@ -0,0 +1,13 @@ +diff --git a/Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp b/Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp +index 0a875d2..d855fea 100644 +--- a/Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp ++++ b/Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp +@@ -357,7 +357,7 @@ MediaTime MediaPlayerPrivateGStreamer::playbackPosition() const + } + + double now = WTF::currentTime(); +- if (m_lastQuery > -1 && ((now - m_lastQuery) < 0.25) && m_cachedPosition.isValid()) ++ if (m_lastQuery > -1 && ((now - m_lastQuery) < 0.01) && m_cachedPosition.isValid()) + return m_cachedPosition; + + m_lastQuery = now;