User Story:: As a user, I want to know how long a video runs so I can estimate if I have time to watch it
Context of use: My current context would be showing tutorial videos in WMDEs work for new editors, but I think the usecase it not limited to that
Current Problems: Currently, there is no total time displayed
Possible Solution:
One way to improve the situation for the user is to show the total time in the video player.
Maybe like youtube (as of 2018/02) does it: 00:00/2:43
Consequences: The timeline would be minimally less wide and would cost 30px or so.