Temp fix for #9995

vimeo · Jul 5, 2023 · dd847bf · dd847bf
1 parent 8fe1f15
commit dd847bf
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/dictionaries/ManualPropertyMap.php b/dictionaries/ManualPropertyMap.php
@@ -17,7 +17,8 @@
     //
     'dateinterval' => [
         // documented as 'mixed' in doc-en/reference/datetime/dateinterval.xml:90.
-        'days' => 'false|int',
+        // technically false|int but the false has ignore falsable true in Reflection.php, but for that to work it must not be set here
+        'days' => 'int',
     ],
     'domnode' => [
         // documented as 'DomNodeList' in doc-en/reference/dom/domnode.xml:57.

diff --git a/dictionaries/PropertyMap.php b/dictionaries/PropertyMap.php
@@ -66,7 +66,7 @@
     'dateinterval' => [
         'd' => 'int',
         'date_string' => 'string',
-        'days' => 'false|int',
+        'days' => 'int',
         'f' => 'float',
         'from_string' => 'bool',
         'h' => 'int',