From e5c8d21fd26684e85de3b9e8ed2c7f8f8f68ed1b Mon Sep 17 00:00:00 2001
From: Javier Eguiluz <javier.eguiluz@gmail.com>
Date: Fri, 19 Oct 2018 15:23:16 +0200
Subject: [PATCH] Added a comment explaining why we need this option

---
 src/Form/Type/DateTimePickerType.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Form/Type/DateTimePickerType.php b/src/Form/Type/DateTimePickerType.php
index 92b584043..1b66bfadc 100644
--- a/src/Form/Type/DateTimePickerType.php
+++ b/src/Form/Type/DateTimePickerType.php
@@ -51,6 +51,8 @@ public function configureOptions(OptionsResolver $resolver)
     {
         $resolver->setDefaults([
             'widget' => 'single_text',
+            // if true, the browser will display the native date picker widget
+            // however, this app uses a custom JavaScript widget, so it must be set to false
             'html5' => false,
         ]);
     }