diff options
| -rw-r--r-- | apps/dav/lib/Files/BrowserErrorPagePlugin.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/apps/dav/lib/Files/BrowserErrorPagePlugin.php b/apps/dav/lib/Files/BrowserErrorPagePlugin.php index b3ce591bd4a..eccae8afdd5 100644 --- a/apps/dav/lib/Files/BrowserErrorPagePlugin.php +++ b/apps/dav/lib/Files/BrowserErrorPagePlugin.php @@ -70,9 +70,9 @@ class BrowserErrorPagePlugin extends ServerPlugin { } /** - * @param \Exception $ex + * @param \Throwable $ex */ - public function logException(\Exception $ex) { + public function logException(\Throwable $ex): void { if ($ex instanceof Exception) { $httpCode = $ex->getHTTPCode(); $headers = $ex->getHTTPHeaders($this->server); |