Move CSS3 Paged Media interface into WebLocalFrame.

third_party/WebKit/public/web/WebFrame.h

Index: third_party/WebKit/public/web/WebFrame.h
diff --git a/third_party/WebKit/public/web/WebFrame.h b/third_party/WebKit/public/web/WebFrame.h
index fef5c5163e50a6286d0e76b01e94156d7d024c8e..0639c225319c6818657e78fd750f047b77601fe1 100644
--- a/third_party/WebKit/public/web/WebFrame.h
+++ b/third_party/WebKit/public/web/WebFrame.h
@@ -494,29 +494,6 @@ public:
     // return true, otherwise return false.
     virtual bool isPrintScalingDisabledForPlugin(const WebNode& = WebNode()) = 0;
 
-    // CSS3 Paged Media ----------------------------------------------------
-
-    // Returns true if page box (margin boxes and page borders) is visible.
-    virtual bool isPageBoxVisible(int pageIndex) = 0;
-
-    // Returns true if the page style has custom size information.
-    virtual bool hasCustomPageSizeStyle(int pageIndex) = 0;
-
-    // Returns the preferred page size and margins in pixels, assuming 96
-    // pixels per inch. pageSize, marginTop, marginRight, marginBottom,
-    // marginLeft must be initialized to the default values that are used if
-    // auto is specified.
-    virtual void pageSizeAndMarginsInPixels(int pageIndex,
-                                            WebSize& pageSize,
-                                            int& marginTop,
-                                            int& marginRight,
-                                            int& marginBottom,
-                                            int& marginLeft) = 0;
-
-    // Returns the value for a page property that is only defined when printing.
-    // printBegin must have been called before this method.
-    virtual WebString pageProperty(const WebString& propertyName, int pageIndex) = 0;
-
 
     // Events --------------------------------------------------------------