It would be really nice if someone or a team of devs take up this project for completion, the reason being the weakness of the stock video player, which can hardly play any video without stuttering.. There is a real need for some alternative video player which can handle different formats & res video playback....
Hoping for the best.