Fix

Author: ondrejmirtes

.github/scripts/diffPrefixes.php

@@ -30,7 +30,13 @@
 	}
 
 	$pathWithLine = substr($diffLine, 1);
-	[$path, $lineNumber] = explode(':', $pathWithLine);
+	$pathParts = explode(':', $pathWithLine);
+	$path = $pathParts[0];
+	$lineNumber = $pathParts[1] ?? null;
+	if ($lineNumber === null) {
+		echo $diffLine . "\n";
+		continue;
+	}
 	$oldFilePath = $oldDir . '/' . $path;
 	if (!is_file($oldFilePath)) {
 		continue;