Dash-Industry-Forum/dash.js — pull request #208 by bbcrddave (2014-08-19 09:27:33+00:00)
Title: fix jshint error introduced during fixing issue #119

Turns out jshint doesn't know about HTMLMediaElement so this needs to be add to the rc file. I didn't notice this as I wasn't using grunt at the time - sorry!