Hugo Sales 2fd46ca886 [TOOLS] Continue raising PHPStan level to 6		2022-10-19 22:39:17 +01:00
..
Extension.php	[TOOLS] Raise PHPStan level to 5 and fix associated error, fixing some bugs in the process	2022-10-19 22:38:49 +01:00
Runtime.php	[TOOLS] Continue raising PHPStan level to 6	2022-10-19 22:39:17 +01:00