From bbb2f1fcf53e6066aaae5e131bda445d63341fa4 Mon Sep 17 00:00:00 2001 From: Michael Date: Mon, 13 Jul 2020 16:24:44 +0000 Subject: [PATCH] Use "0" as default --- src/Core/System.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Core/System.php b/src/Core/System.php index 37e6d8a1cb..67ee3a8038 100644 --- a/src/Core/System.php +++ b/src/Core/System.php @@ -140,7 +140,7 @@ class System * @param string $content_type Type of the input (Default: 'application/json'). * @param integer $options JSON options */ - public static function jsonExit($x, $content_type = 'application/json', int $options = null) { + public static function jsonExit($x, $content_type = 'application/json', int $options = 0) { header("Content-type: $content_type"); echo json_encode($x, $options); exit();