Skip to content

Commit

Permalink
Ensure that the error constants in MediaError are correctly annotated
Browse files Browse the repository at this point in the history
Closes #3290.

-------------
Created by MOE: https://github.com/google/moe
MOE_MIGRATED_REVID=241954985
  • Loading branch information
realityforge authored and brad4d committed Apr 5, 2019
1 parent 728de1b commit 075798a
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 5 deletions.
8 changes: 4 additions & 4 deletions externs/browser/html5.js
Original file line number Diff line number Diff line change
Expand Up @@ -2389,27 +2389,27 @@ MediaError.prototype.message;
/**
* The fetching process for the media resource was aborted by the user agent at
* the user's request.
* @type {number}
* @const {number}
*/
MediaError.MEDIA_ERR_ABORTED;

/**
* A network error of some description caused the user agent to stop fetching
* the media resource, after the resource was established to be usable.
* @type {number}
* @const {number}
*/
MediaError.MEDIA_ERR_NETWORK;

/**
* An error of some description occurred while decoding the media resource,
* after the resource was established to be usable.
* @type {number}
* @const {number}
*/
MediaError.MEDIA_ERR_DECODE;

/**
* The media resource indicated by the src attribute was not suitable.
* @type {number}
* @const {number}
*/
MediaError.MEDIA_ERR_SRC_NOT_SUPPORTED;

Expand Down
2 changes: 1 addition & 1 deletion src/com/google/javascript/jscomp/resources.json

Large diffs are not rendered by default.

0 comments on commit 075798a

Please sign in to comment.