Reviewers: pdr, Description: Add media events for audio/video elements
Please review this at http://gwt-code-reviews.appspot.com/1385804/ Affected files: M dev/core/src/com/google/gwt/dev/js/ast/JsRootScope.java A user/src/com/google/gwt/event/dom/client/EndedEvent.java A user/src/com/google/gwt/event/dom/client/EndedHandler.java A user/src/com/google/gwt/event/dom/client/HasAllMediaHandlers.java A user/src/com/google/gwt/event/dom/client/HasEndedHandlers.java A user/src/com/google/gwt/event/dom/client/HasProgressHandlers.java A user/src/com/google/gwt/event/dom/client/ProgressEvent.java A user/src/com/google/gwt/event/dom/client/ProgressHandler.java M user/src/com/google/gwt/media/client/Audio.java M user/src/com/google/gwt/user/client/Event.java M user/src/com/google/gwt/user/client/impl/DOMImpl.java M user/src/com/google/gwt/user/client/impl/DOMImplStandard.java -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
