jenkinsci/jenkins — pull request #383 by gshakhn (2012-02-22 04:47:19+00:00)
Title: Add mime type for webm files.

Our build generates webm files (we record video for failing WebDriver tests), and it would be nice to see the video in the browser. Unfortunately, Firefox doesn't know what to do with the .webm extension if there is no provided mime type. We hacked our local Jenkins's web.xml with this change, but it'll break the next time we upgrade. :)

This pull request modifies the web.xml to add a mime type for .webm files. This is similar to the fix in https://issues.jenkins-ci.org/browse/JENKINS-3803. Please let me know if I need to do anything else to get this in the mainline.

Thanks,
George