Skip to content

Commit 821169a

Browse files
committed
Add '@strict-properties' annotation to new Error/Exception classes
1 parent 3e75fa1 commit 821169a

File tree

2 files changed

+37
-1
lines changed

2 files changed

+37
-1
lines changed

ext/date/php_date.stub.php

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -747,38 +747,65 @@ public static function __set_state(array $array): DatePeriod {}
747747
public function getIterator(): Iterator {}
748748
}
749749

750+
/**
751+
* @strict-properties
752+
*/
750753
class DateError extends Error
751754
{
752755
}
753756

757+
/**
758+
* @strict-properties
759+
*/
754760
class DateObjectError extends DateError
755761
{
756762
}
757763

764+
/**
765+
* @strict-properties
766+
*/
758767
class DateRangeError extends DateRangeError
759768
{
760769
}
761770

771+
/**
772+
* @strict-properties
773+
*/
762774
class DateException extends Exception
763775
{
764776
}
765777

778+
/**
779+
* @strict-properties
780+
*/
766781
class DateInvalidTimeZoneException extends Exception
767782
{
768783
}
769784

785+
/**
786+
* @strict-properties
787+
*/
770788
class DateInvalidOperationException extends DateException
771789
{
772790
}
773791

792+
/**
793+
* @strict-properties
794+
*/
774795
class DateMalformedStringException extends DateException
775796
{
776797
}
777798

799+
/**
800+
* @strict-properties
801+
*/
778802
class DateMalformedIntervalStringException extends DateException
779803
{
780804
}
781805

806+
/**
807+
* @strict-properties
808+
*/
782809
class DateMalformedPeriodStringException extends DateException
783810
{
784811
}

ext/date/php_date_arginfo.h

Lines changed: 10 additions & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)