From ffcfb672a60b237d13613ce68f64d9dcff5bd82d Mon Sep 17 00:00:00 2001
From: Yannick Warnier <ywarnier@beeznest.org>
Date: Wed, 22 Mar 2017 12:06:14 -0500
Subject: [PATCH] Minor - Fix default value for IndexManager->tpl to avoid code
 inspection issues

---
 main/inc/lib/userportal.lib.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/main/inc/lib/userportal.lib.php b/main/inc/lib/userportal.lib.php
index b1cdc783fe..f51a0da060 100755
--- a/main/inc/lib/userportal.lib.php
+++ b/main/inc/lib/userportal.lib.php
@@ -10,7 +10,8 @@ class IndexManager
     const VIEW_BY_SESSION = 1;
 
     // An instance of the template engine
-    public $tpl = false;
+    //No need to initialize because IndexManager is not static, and the constructor immediately instantiates a Template
+    public $tpl;
     public $name = '';
     public $home = '';
     public $default_home = 'home/';