From ccbb0241bfc47e61c88c58a87110fd688234b3ae Mon Sep 17 00:00:00 2001
From: Philipp Holzer <admin+github@philipp.info>
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