From bc5ac2806ea527cf4cad330a757012bbf1ac3e1c Mon Sep 17 00:00:00 2001
From: Christian Flothmann <christian.flothmann@xabbuh.de>
Date: Sat, 16 Feb 2019 11:21:27 +0100
Subject: [PATCH] document the NumberType html5 option

---
 reference/forms/types/number.rst | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/reference/forms/types/number.rst b/reference/forms/types/number.rst
index 4d77428e171..3fad6c65e52 100644
--- a/reference/forms/types/number.rst
+++ b/reference/forms/types/number.rst
@@ -12,6 +12,7 @@ that you want to use for your number.
 | Rendered as | ``input`` ``text`` field                                             |
 +-------------+----------------------------------------------------------------------+
 | Options     | - `grouping`_                                                        |
+|             | - `html5`_                                                           |
 |             | - `scale`_                                                           |
 |             | - `rounding_mode`_                                                   |
 +-------------+----------------------------------------------------------------------+
@@ -46,6 +47,18 @@ Field Options
 
 .. include:: /reference/forms/types/options/grouping.rst.inc
 
+html5
+~~~~~
+
+**type**: ``boolean`` **default**: ``false``
+
+.. versionadded:: 4.3
+
+    The ``html5`` option was introduced in Symfony 4.3.
+
+If set to ``true``, the HTML input will be rendered as a native HTML5 ``type="number"``
+form.
+
 scale
 ~~~~~