[webkit-reviews] review requested: [Bug 88724] Update the time display of Chromium media controls : [Attachment 147032] full patch with int cast fix

[bugzilla-daemon at webkit.org]

Silvia Pfeiffer <silviapf at chromium.org> has asked  for review:
Bug 88724: Update the time display of Chromium media controls
https://bugs.webkit.org/show_bug.cgi?id=88724

Attachment 147032: full patch with int cast fix
https://bugs.webkit.org/attachment.cgi?id=147032&action=review