Notices: Avoid accessing offset on null

Thanks to @peterpp at 62017e3.
2025-08-12 09:34:10 +02:00 · 2025-03-26 04:16:17 +01:00
parent d3be21e000
commit 1b8a428d2f
16 changed files with 37 additions and 27 deletions
--- a/coverage.php
+++ b/coverage.php
@@ -40,7 +40,7 @@ if (!extension_loaded("xdebug")) {
 	for ($l=0; $l <= count($file); $l++) {
 		$line = $file[$l];
 		$color = "#C0FFC0"; // tested
-		switch ($coverage[realpath($filename)][$l+1]) {
+		switch ($coverage[realpath($filename)][$l+1] ?? null) {
 			case -1: // untested
 				$color = "#FFC0C0";
 				break;