chore: style changes

This commit is contained in:
Nuno Maduro
2023-07-12 21:09:40 +01:00
parent 3f352605ca
commit c42541a3d9
9 changed files with 10 additions and 10 deletions

View File

@ -89,7 +89,7 @@ final class DefaultResultCache implements ResultCache
*/
private array $times = [];
public function __construct(?string $filepath = null)
public function __construct(string $filepath = null)
{
if ($filepath !== null && is_dir($filepath)) {
$filepath .= DIRECTORY_SEPARATOR.self::DEFAULT_RESULT_CACHE_FILENAME;