Backported #10998 to 3.4

javiereguiluz · javiereguiluz · commit 6bea43f06a37 · 2019-02-16T16:46:26.000+01:00
diff --git a/reference/forms/types/options/grouping.rst.inc b/reference/forms/types/options/grouping.rst.inc
@@ -1,7 +1,7 @@
 grouping
 ~~~~~~~~
 
-**type**: ``integer`` **default**: ``false``
+**type**: ``boolean`` **default**: ``false``
 
 This value is used internally as the ``NumberFormatter::GROUPING_USED``
 value when using PHP's ``NumberFormatter`` class. Its documentation is
