Unreviewed, rolling out r233143.
authorcommit-queue@webkit.org <commit-queue@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Tue, 26 Jun 2018 15:27:27 +0000 (15:27 +0000)
committercommit-queue@webkit.org <commit-queue@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Tue, 26 Jun 2018 15:27:27 +0000 (15:27 +0000)
commitb8312d03e6448370da65d5cb2bbc7b65719b30cf
tree4ec27b8d529c4017f18736060c52cc20a5705e06
parent6f1b54c922a77dc4ecbf4460b554a5204f3b4aa8
Unreviewed, rolling out r233143.
https://bugs.webkit.org/show_bug.cgi?id=187046

broke media/video-ended-event-negative-playback.html
(Requested by philn on #webkit).

Reverted changeset:

"[GStreamer] Remove useless workaround"
https://bugs.webkit.org/show_bug.cgi?id=186921
https://trac.webkit.org/changeset/233143

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@233200 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Source/WebCore/ChangeLog
Source/WebCore/platform/graphics/gstreamer/MediaPlayerPrivateGStreamer.cpp