Introduce FullscreenElementStack::fullyExitFullscreen()

Source/core/dom/FullscreenElementStack.h

Index: Source/core/dom/FullscreenElementStack.h
diff --git a/Source/core/dom/FullscreenElementStack.h b/Source/core/dom/FullscreenElementStack.h
index ad7ac575d9c32fbfe7b52a8b2b01708c30586e22..d4f0c35b178678980f69b160c2adf37d25c9cbf4 100644
--- a/Source/core/dom/FullscreenElementStack.h
+++ b/Source/core/dom/FullscreenElementStack.h
@@ -66,7 +66,8 @@ public:
     };
 
     void requestFullScreenForElement(Element&, RequestType);
-    void webkitCancelFullScreen();
+    void fullyExitFullscreen();
+    void exitFullscreen();
 
     void webkitWillEnterFullScreenForElement(Element*);
     void webkitDidEnterFullScreenForElement(Element*);
@@ -82,8 +83,8 @@ public:
     // W3C API
     static bool webkitFullscreenEnabled(Document&);
     Element* webkitFullscreenElement() const { return !m_fullScreenElementStack.isEmpty() ? m_fullScreenElementStack.last().get() : 0; }
-    void webkitExitFullscreen();
 
+    // Mozilla API
     bool webkitIsFullScreen() const { return m_fullScreenElement.get(); }
     bool webkitFullScreenKeyboardInputAllowed() const { return m_fullScreenElement.get() && m_areKeysEnabledInFullScreen; }
     Element* webkitCurrentFullScreenElement() const { return m_fullScreenElement.get(); }