Skip to content

Set return type of die and exit to never #1893

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Gleb Sieemshchikov (LolGleb) merged 1 commit into from
May 18, 2026
+2 −2
Merged

Set return type of die and exit to never #1893

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions standard/_types.php
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ function PS_UNRESERVE_PREFIX_list($var1, ...$_) {}
* <p>
* Note: PHP >= 4.2.0 does NOT print the status if it is an integer.
* </p>
* @return void
* @return never
*/
function PS_UNRESERVE_PREFIX_die($status = "") {}

Expand All @@ -60,7 +60,7 @@ function PS_UNRESERVE_PREFIX_die($status = "") {}
* <p>
* Note: PHP >= 4.2.0 does NOT print the status if it is an integer.
* </p>
* @return void
* @return never
*/
function PS_UNRESERVE_PREFIX_exit($status = "") {}

Expand Down
Loading