[webkit-reviews] review requested: [Bug 51535] [GTK] Show current time / total in media player : [Attachment 77330] Patch to show current time/total in media player

[bugzilla-daemon at webkit.org]

Carlos Garcia Campos <cgarcia at igalia.com> has asked  for review:
Bug 51535: [GTK] Show current time / total in media player
https://bugs.webkit.org/show_bug.cgi?id=51535

Attachment 77330: Patch to show current time/total in media player
https://bugs.webkit.org/attachment.cgi?id=77330&action=review