| Index: Source/core/layout/LayoutTheme.cpp
|
| diff --git a/Source/core/layout/LayoutTheme.cpp b/Source/core/layout/LayoutTheme.cpp
|
| index 490b941c264082420394fc4713101c2b07582ffe..4470863dccd065fc225351b60f9768c17e021e40 100644
|
| --- a/Source/core/layout/LayoutTheme.cpp
|
| +++ b/Source/core/layout/LayoutTheme.cpp
|
| @@ -225,7 +225,7 @@ String LayoutTheme::extraDefaultStyleSheet()
|
| return runtimeCSS.toString();
|
| }
|
|
|
| -static String formatChromiumMediaControlsTime(float time, float duration, bool includeSeparator)
|
| +String LayoutTheme::formatChromiumMediaControlsTime(float time, float duration, bool includeSeparator)
|
| {
|
| if (!std::isfinite(time))
|
| time = 0;
|
| @@ -233,6 +233,7 @@ static String formatChromiumMediaControlsTime(float time, float duration, bool i
|
| duration = 0;
|
| int seconds = static_cast<int>(fabsf(time));
|
| int minutes = seconds / 60;
|
| + int hours = seconds / (60 * 60);
|
|
|
| seconds %= 60;
|
|
|
| @@ -241,7 +242,6 @@ static String formatChromiumMediaControlsTime(float time, float duration, bool i
|
| int durationMins = durationSecs / 60;
|
|
|
| if (!RuntimeEnabledFeatures::newMediaPlaybackUiEnabled()) {
|
| - int hours = seconds / (60 * 60);
|
| int durationHours = durationSecs / (60 * 60);
|
| durationMins %= 60;
|
| minutes %= 60;
|
|
|