Remove left-over PageCache stuff

Source/core/page/Settings.h

Index: Source/core/page/Settings.h
diff --git a/Source/core/page/Settings.h b/Source/core/page/Settings.h
index c4172c38e4d864c70323e9fc3f443f4afa39b33b..7162a1625cf2b322340f9fff5cef0b3ae7b36867 100644
--- a/Source/core/page/Settings.h
+++ b/Source/core/page/Settings.h
@@ -139,10 +139,6 @@ namespace WebCore {
         void setUserStyleSheetLocation(const KURL&);
         const KURL& userStyleSheetLocation() const { return m_userStyleSheetLocation; }
 
-        // FIXME: Remove these, PageCache is dead.
-        void setUsesPageCache(bool) { }
-        bool usesPageCache() const { return false; }
-        
         void setFontRenderingMode(FontRenderingMode mode);
         FontRenderingMode fontRenderingMode() const;