chore(*.php): use pint for php formatting
This commit is contained in:
parent
029caaaa9e
commit
cf1ee4c97f
40 changed files with 2261 additions and 1900 deletions
|
@ -1,9 +1,9 @@
|
|||
<?php
|
||||
|
||||
if (!function_exists('redirectTo404')) {
|
||||
if (! function_exists('redirectTo404')) {
|
||||
function redirectTo404(): void
|
||||
{
|
||||
header("Location: /404/", true, 302);
|
||||
exit();
|
||||
header('Location: /404/', true, 302);
|
||||
exit();
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue