| Index: third_party/WebKit/Source/core/dom/DocumentFullscreen.idl
|
| diff --git a/third_party/WebKit/Source/core/dom/DocumentFullscreen.idl b/third_party/WebKit/Source/core/dom/DocumentFullscreen.idl
|
| index 808ac15e9d9026692e462ebf5549ad228c0b92f8..58fb1ef9aa64528912328188867917ea754b9ab7 100644
|
| --- a/third_party/WebKit/Source/core/dom/DocumentFullscreen.idl
|
| +++ b/third_party/WebKit/Source/core/dom/DocumentFullscreen.idl
|
| @@ -31,8 +31,8 @@ partial interface Document {
|
| [RuntimeEnabled=FullscreenUnprefixed] attribute EventHandler onfullscreenerror;
|
|
|
| // Mozilla version
|
| - [MeasureAs=PrefixedDocumentIsFullscreen, ImplementedAs=webkitCurrentFullScreenElement] readonly attribute boolean webkitIsFullScreen;
|
| - [MeasureAs=PrefixedDocumentCurrentFullScreenElement] readonly attribute Element webkitCurrentFullScreenElement;
|
| + [MeasureAs=PrefixedDocumentIsFullscreen, ImplementedAs=currentFullScreenElement] readonly attribute boolean webkitIsFullScreen;
|
| + [MeasureAs=PrefixedDocumentCurrentFullScreenElement, ImplementedAs=currentFullScreenElement] readonly attribute Element webkitCurrentFullScreenElement;
|
| [MeasureAs=PrefixedDocumentCancelFullScreen, ImplementedAs=exitFullscreen] void webkitCancelFullScreen();
|
|
|
| // W3C version
|
|
|