From b355b64c0496a8c9077fc802f4942eab71861ce4 Mon Sep 17 00:00:00 2001
From: Julio Montoya <julio.montoya@beeznest.com>
Date: Wed, 17 Jan 2018 14:11:35 +0100
Subject: [PATCH] Applied fixes from FlintCI

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

diff --git a/main/install/install.lib.php b/main/install/install.lib.php
index 069143e930..8dd69a6a69 100755
--- a/main/install/install.lib.php
+++ b/main/install/install.lib.php
@@ -1128,7 +1128,8 @@ function display_requirements(
             $deprecatedToRemove[] = $deprecatedDirectory;
         }
 
-        if (count($deprecatedToRemove) > 0) { ?>
+        if (count($deprecatedToRemove) > 0) {
+            ?>
             <p class="text-danger"><?php echo get_lang('WarningForDeprecatedDirectoriesForUpgrade') ?></p>
             <ul>
                 <?php foreach ($deprecatedToRemove as $deprecatedDirectory) {