html5 video plugin: remove dead code