Expose double-tap platform support via ui::GestureConfiguration

ui/events/gesture_detection/gesture_provider.h

Index: ui/events/gesture_detection/gesture_provider.h
diff --git a/ui/events/gesture_detection/gesture_provider.h b/ui/events/gesture_detection/gesture_provider.h
index cf311ac6355112a5a93790d55dc545dffa8c963a..a9534d54a6ad7abd474fdd72a2c19b31aac85adf 100644
--- a/ui/events/gesture_detection/gesture_provider.h
+++ b/ui/events/gesture_detection/gesture_provider.h
@@ -41,6 +41,10 @@ class GESTURE_DETECTION_EXPORT GestureProvider {
     // events.
     bool disable_click_delay;
 
+    // Whether double-tap detection is supported by the platform. If disabled,
+    // there will be no delay before tap events. Defaults to true.
+    bool double_tap_support_for_platform_enabled;
+
     // If |gesture_begin_end_types_enabled| is true, fire an ET_GESTURE_BEGIN
     // event for every added touch point, and an ET_GESTURE_END event for every
     // removed touch point. This requires one ACTION_CANCEL event to be sent per