Get it from the GNOME extensions website
Or do it the quick and dirty way
cd ~/.local/share/gnome-shell/extensions/
git clone https://github.com/Krypion17/media-progress && mv media-progress media-progress@krypion17
Then re-login and enable from the extension app, if not enabled.
- Make an install script
- Maybe a settings menu to disable timestamps