libraries\GUI::getBenchmarkTop(): Argument #2 ($benchmark) must be of type models\Benchmark, null given, called in /var/www/html/phpMyBenchmarks/app/controllers/Benchmarks.php on line 165