From f087954489d2a6f460c293435c0b5c5eaa33ea39 Mon Sep 17 00:00:00 2001
From: Mathieu Lutfy <mathieu@bidon.ca>
Date: Wed, 19 Dec 2018 17:27:16 -0500
Subject: [PATCH] installer: PHP 7.2 compatibility fixes

---
 install/index.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install/index.php b/install/index.php
index 2367eab45b..994786d193 100644
--- a/install/index.php
+++ b/install/index.php
@@ -1400,14 +1400,14 @@ class InstallRequirements {
    * @return int
    */
   public function hasErrors() {
-    return count($this->errors);
+    return !empty($this->errors);
   }
 
   /**
    * @return int
    */
   public function hasWarnings() {
-    return count($this->warnings);
+    return !empty($this->warnings);
   }
 
 }
-- 
2.25.1