1
0
mirror of https://github.com/danog/psalm.git synced 2025-01-22 05:41:20 +01:00

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
This commit is contained in:
Sergei Morozov 2023-06-11 16:39:15 -07:00
parent b6cba5a377
commit 9ac3e88c70
No known key found for this signature in database
GPG Key ID: 374EADAF543AE995

View File

@ -586,7 +586,6 @@ class DateInterval
/**
* Is 1 if the interval is inverted and 0 otherwise
* @var int
* @readonly
*/
public $invert;