From 9ac3e88c703854d2761f533571bc2f445c8c18bf Mon Sep 17 00:00:00 2001
From: Sergei Morozov <morozov@tut.by>
Date: Sun, 11 Jun 2023 16:39:15 -0700
Subject: [PATCH] Unmark DateInterval::$invert as read-only

Despite the PHP documentation recommending that DateInterval properties
should be considered as read-only, there is no way to specify an
inverted interval via the constructor. Therefore, setting this property
on an existing object should not be considered an error.

See: https://www.php.net/manual/en/class.dateinterval.php
---
 stubs/CoreGenericClasses.phpstub | 1 -
 1 file changed, 1 deletion(-)

diff --git a/stubs/CoreGenericClasses.phpstub b/stubs/CoreGenericClasses.phpstub
index 3fd64fb3a17..8e650083f18 100644
--- a/stubs/CoreGenericClasses.phpstub
+++ b/stubs/CoreGenericClasses.phpstub
@@ -586,7 +586,6 @@ class DateInterval
     /**
      * Is 1 if the interval is inverted and 0 otherwise
      * @var int
-     * @readonly
      */
     public $invert;