From af028003b9a6519e29d7f987192314e0fa111579 Mon Sep 17 00:00:00 2001 From: Christian Flothmann Date: Sat, 16 Feb 2019 11:31:13 +0100 Subject: [PATCH] fix type of the grouping option --- reference/forms/types/options/grouping.rst.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/reference/forms/types/options/grouping.rst.inc b/reference/forms/types/options/grouping.rst.inc index 4362678e339..0ebd339b2e8 100644 --- 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