From ccbb0241bfc47e61c88c58a87110fd688234b3ae Mon Sep 17 00:00:00 2001 From: Philipp Holzer Date: Thu, 15 Aug 2019 17:27:05 +0200 Subject: [PATCH] Removed unnecessary auto-initializing --- src/App.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/App.php b/src/App.php index d3b7125090..8a2a20704d 100644 --- a/src/App.php +++ b/src/App.php @@ -65,8 +65,8 @@ class App public $timezone; public $interactive = true; public $identities; - public $is_mobile = false; - public $is_tablet = false; + public $is_mobile; + public $is_tablet; public $theme_info = []; public $category; // Allow themes to control internal parameters -- 2.39.5