Adding the SourceElement for use with Audio and Video, and adding convenience methods in those widgets to use the element.  Multiple SourceElements can be specified for an AudioElement/VideoElement widget, and the browser will choose and download one of the sources that it can play.  This is convenient and easier than doing a runtime check in user code to figure out the best source file.

Review at http://gwt-code-reviews.appspot.com/1423810

Review by: pdr@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@10117 8db76d5a-ed1c-0410-87a9-c151d255dfc7
7 files changed