Enable History API. Do not merge.

Cherry pick Ic6b6860ca4bfe891e84fb0445d67c7ea728c6fe3

The HTML5 History API is disabled at runtime by default in WebKit.
Configure it to be enabled.

Bug: 5767904
Change-Id: Ib7374e0145c581588990baec6e67025c1b7ef693
diff --git a/Source/WebKit/android/jni/WebViewCore.cpp b/Source/WebKit/android/jni/WebViewCore.cpp
index 839c352..b998e99 100644
--- a/Source/WebKit/android/jni/WebViewCore.cpp
+++ b/Source/WebKit/android/jni/WebViewCore.cpp
@@ -101,6 +101,7 @@
 #include "RenderThemeAndroid.h"
 #include "RenderView.h"
 #include "ResourceRequest.h"
+#include "RuntimeEnabledFeatures.h"
 #include "SchemeRegistry.h"
 #include "SelectionController.h"
 #include "Settings.h"
@@ -472,6 +473,12 @@
     // initialisation.
     v8::V8::Initialize();
 #endif
+
+    // Configure any RuntimeEnabled features that we need to change from their default now.
+    // See WebCore/bindings/generic/RuntimeEnabledFeatures.h
+
+    // HTML5 History API
+    RuntimeEnabledFeatures::setPushStateEnabled(true);
 }
 
 WebViewCore::~WebViewCore()