Removed unnecessary auto-initializing

pull/7517/head
Philipp Holzer 2019-08-15 17:27:05 +02:00
rodzic 956439a9f2
commit ccbb0241bf
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: D8365C3D36B77D90
1 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

@ -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