web-animations/web-animations-js — pull request #500 by alancutter (2013-11-19 12:10:33+00:00)
Title: New Player API: Add extra step to seek method

This change adds a step to the player's seek method set _currentTime() that sets the _pauseTime to null if the player is not paused.