Update types for dd()

derrabus · derrabus · commit 422e4a6f42e6 · 2022-12-11T11:50:52.000+01:00
diff --git a/Resources/functions/dump.php b/Resources/functions/dump.php
@@ -32,10 +32,7 @@ function dump(mixed $var, mixed ...$moreVars): mixed
 }
 
 if (!function_exists('dd')) {
-    /**
-     * @return never
-     */
-    function dd(...$vars): void
+    function dd(mixed ...$vars): never
     {
         if (!in_array(\PHP_SAPI, ['cli', 'phpdbg'], true) && !headers_sent()) {
             header('HTTP/1.1 500 Internal Server Error');

Original file line number	Diff line number	Diff line change
`@@ -32,10 +32,7 @@ function dump(mixed $var, mixed ...$moreVars): mixed`
`32`	`32`	`}`
`33`	`33`
`34`	`34`	`if (!function_exists('dd')) {`
`35`		`- /**`
`36`		`- * @return never`
`37`		`- */`
`38`		`- function dd(...$vars): void`
	`35`	`+ function dd(mixed ...$vars): never`
`39`	`36`	`{`
`40`	`37`	`if (!in_array(\PHP_SAPI, ['cli', 'phpdbg'], true) && !headers_sent()) {`
`41`	`38`	`header('HTTP/1.1 500 Internal Server Error');`