Current media player doesn't show information about the current and total time.
Created attachment 77330 [details] Patch to show current time/total in media player
Comment on attachment 77330 [details] Patch to show current time/total in media player View in context: https://bugs.webkit.org/attachment.cgi?id=77330&action=review > WebCore/css/mediaControlsGtk.css:63 > + As a bikeshed comment I'd say hardcoding stuff in pixels in our css files is less than ideal, but I see we are already doing it everywhere.
The commit-queue encountered the following flaky tests while processing attachment 77330 [details]: fast/workers/storage/use-same-database-in-page-and-workers.html bug 50995 (author: dumi@chromium.org) The commit-queue is continuing to process your patch.
Comment on attachment 77330 [details] Patch to show current time/total in media player Clearing flags on attachment: 77330 Committed r74643: <http://trac.webkit.org/changeset/74643>
All reviewed patches have been landed. Closing bug.
The commit-queue encountered the following flaky tests while processing attachment 77330 [details]: http/tests/xmlhttprequest/open-async-overload.html bug 51594 (author: morrita@google.com) The commit-queue is continuing to process your patch.
http://trac.webkit.org/changeset/74643 might have broken GTK Linux 32-bit Release