After r87692, timeWithoutMouseMovementBeforeHidingControls is not used anymore.
Created attachment 149185 [details] Patch
For completeness, the patch for bug #61717 moved the HTMLMediaElement code to MediaControlRootElement. In particular, the function startHideFullscreenControlsTimer() in HTMLMediaElement.cpp (which was the only function that referenced timeWithoutMouseMovementBeforeHidingControls in HTMLMediaElement.cpp) was moved to MediaControlRootElement.cpp, but the constant timeWithoutMouseMovementBeforeHidingControls in HTMLMediaElement.cpp wasn't removed.
Comment on attachment 149185 [details] Patch r=me
Comment on attachment 149185 [details] Patch Clearing flags on attachment: 149185 Committed r121173: <http://trac.webkit.org/changeset/121173>
All reviewed patches have been landed. Closing bug.