Added an alternative patch for #1083, which might actually work quite well.
Progress with HTML5 for Firefox
Now the HTML5 player fix works for Firefox. Also fixed an issue where the enable auto resolution option were ignored.