String RenderTheme::formatMediaControlsCurrentTime(float currentTime, float /*duration*/) const { return formatMediaControlsTime(currentTime); }
String RenderTheme::formatMediaControlsRemainingTime(float currentTime, float duration) const { return formatMediaControlsTime(currentTime - duration); }
String RenderThemeGtk::formatMediaControlsCurrentTime(float currentTime, float duration) const { return formatMediaControlsTime(currentTime) + " / " + formatMediaControlsTime(duration); }