Skip to content

Commit 01201f7

Browse files
committed
Inline PHPDoc comments
1 parent 13c9348 commit 01201f7

File tree

2 files changed

+13
-37
lines changed

2 files changed

+13
-37
lines changed

ext/date/php_date.stub.php

Lines changed: 12 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -375,9 +375,7 @@ public static function getLastErrors(): array|false {}
375375
*/
376376
public function format(string $format): string {}
377377

378-
/**
379-
* @tentative-return-type
380-
*/
378+
/** @tentative-return-type */
381379
public function modify(string $modifier): DateTime|false {}
382380

383381
/**
@@ -386,9 +384,7 @@ public function modify(string $modifier): DateTime|false {}
386384
*/
387385
public function add(DateInterval $interval): DateTime {}
388386

389-
/**
390-
* @tentative-return-type
391-
*/
387+
/** @tentative-return-type */
392388
public function sub(DateInterval $interval): DateTime {}
393389

394390
/**
@@ -622,9 +618,7 @@ class DateInterval
622618
{
623619
public function __construct(string $duration) {}
624620

625-
/**
626-
* @tentative-return-type
627-
*/
621+
/** @tentative-return-type */
628622
public static function createFromDateString(string $datetime): DateInterval|false {}
629623

630624
/**
@@ -701,65 +695,47 @@ public static function __set_state(array $array): DatePeriod {}
701695
public function getIterator(): Iterator {}
702696
}
703697

704-
/**
705-
* @strict-properties
706-
*/
698+
/** @strict-properties */
707699
class DateError extends Error
708700
{
709701
}
710702

711-
/**
712-
* @strict-properties
713-
*/
703+
/** @strict-properties */
714704
class DateObjectError extends DateError
715705
{
716706
}
717707

718-
/**
719-
* @strict-properties
720-
*/
708+
/** @strict-properties */
721709
class DateRangeError extends DateError
722710
{
723711
}
724712

725-
/**
726-
* @strict-properties
727-
*/
713+
/** @strict-properties */
728714
class DateException extends Exception
729715
{
730716
}
731717

732-
/**
733-
* @strict-properties
734-
*/
718+
/** @strict-properties */
735719
class DateInvalidTimeZoneException extends DateException
736720
{
737721
}
738722

739-
/**
740-
* @strict-properties
741-
*/
723+
/** @strict-properties */
742724
class DateInvalidOperationException extends DateException
743725
{
744726
}
745727

746-
/**
747-
* @strict-properties
748-
*/
728+
/** @strict-properties */
749729
class DateMalformedStringException extends DateException
750730
{
751731
}
752732

753-
/**
754-
* @strict-properties
755-
*/
733+
/** @strict-properties */
756734
class DateMalformedIntervalStringException extends DateException
757735
{
758736
}
759737

760-
/**
761-
* @strict-properties
762-
*/
738+
/** @strict-properties */
763739
class DateMalformedPeriodStringException extends DateException
764740
{
765741
}

ext/date/php_date_arginfo.h

Lines changed: 1 addition & 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)