Drop old param; was removed in PHP 8.0

tvdijen · tvdijen · commit 331663f80629 · 2023-02-21T23:20:08.000+01:00
diff --git a/public/_include.php b/public/_include.php
@@ -49,7 +49,6 @@ function SimpleSAML_error_handler(
     string $errstr,
     ?string $errfile = null,
     int $errline = 0,
-    /** @scrutinizer-unused */ $errcontext = null
 ): bool {
     if (Logger::isErrorMasked($errno)) {
         // masked error
