mpv-player/mpv — pull request #881 by henry0312 (2014-06-28 03:12:08+00:00)
Title: player: get playback time more correctly

This patches allows the player to get playback time more correctly(robustly).
Playback time is `current_pts` now, but I think playback time should be `current_pts - start_pts`.

Example for a tiny sample, https://db.tt/Eg7iJoQm.
The media info is given in https://gist.github.com/henry0312/aa61f690c334a4f57b4f.

Before:
![sample_ts_before](https://dl.dropboxusercontent.com/u/25391619/sample_ts_before.png)

After:
![sample_ts_after](https://dl.dropboxusercontent.com/u/25391619/sample_ts_after.png)