webengine/osswebengine/WebCore/page/Page.cpp
changeset 13 10e98eab6f85
parent 0 dd21522fd290
child 73 a1a5d4e727e8
--- a/webengine/osswebengine/WebCore/page/Page.cpp	Fri May 08 08:25:06 2009 +0300
+++ b/webengine/osswebengine/WebCore/page/Page.cpp	Fri Jul 03 15:54:40 2009 +0100
@@ -18,7 +18,7 @@
  * Boston, MA 02110-1301, USA.
  */
 
-#include "config.h"
+
 #include "Page.h"
 
 #include "Chrome.h"
@@ -235,4 +235,18 @@
     m_inLowQualityInterpolationMode = mode;
 }
 
+#if PLATFORM(SYMBIAN)
+void deletePageStaticData()
+{
+    delete allPages;
+    allPages = NULL;
+    delete frameNamespaces;
+    frameNamespaces = NULL;
+
+#ifndef NDEBUG
+    PageCounter::count = 0;
+#endif
+}
+#endif
+
 } // namespace WebCore