An extensible media player for the web