From 1b15d2930b465eb1aec761edc220f122e283ae1a Mon Sep 17 00:00:00 2001 From: Johan van Helden Date: Sat, 31 Aug 2019 12:53:08 +0200 Subject: [PATCH] fix the identation in the config (#817) --- config/ide-helper.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config/ide-helper.php b/config/ide-helper.php index 2a24d7841..3c810b0f7 100644 --- a/config/ide-helper.php +++ b/config/ide-helper.php @@ -189,10 +189,10 @@ | Cast the given "real type" to the given "type". | */ - 'type_overrides' => array( + 'type_overrides' => array( 'integer' => 'int', 'boolean' => 'bool', - ), + ), /* |--------------------------------------------------------------------------