feature/cierres #30

Merged
aldarien merged 460 commits from feature/cierres into develop 2025-09-11 15:16:17 -03:00
326 changed files with 819 additions and 12897 deletions
Showing only changes of commit dd42c12d49 - Show all commits

View File

@ -16,7 +16,6 @@ class Benchmark
echo implode(PHP_EOL, self::$queue), PHP_EOL; echo implode(PHP_EOL, self::$queue), PHP_EOL;
self::$queue = []; self::$queue = [];
} }
public static function execute(callable $callback, ?array $args = null, ?string $description = null): mixed public static function execute(callable $callback, ?array $args = null, ?string $description = null): mixed
{ {
if (null === $description) { if (null === $description) {
@ -36,7 +35,6 @@ class Benchmark
self::$queue[$i] .= sprintf(" in %.2f seconds", $end - $start); self::$queue[$i] .= sprintf(" in %.2f seconds", $end - $start);
return $result; return $result;
} }
public static function getCallableName(callable $callable): string public static function getCallableName(callable $callable): string
{ {
return match (true) { return match (true) {