From c8bb710d2193fdcb21f8ccdf8b308a08e2cd2157 Mon Sep 17 00:00:00 2001
From: Molkobain <lajarige.guillaume@free.fr>
Date: Tue, 21 Jan 2020 14:17:44 +0100
Subject: [PATCH] =?UTF-8?q?N=C2=B02314=20-=20Markup=20extensibility:=20Fix?=
 =?UTF-8?q?=20regression=20introduced=20in=20the=20previous=20commit=20(us?=
 =?UTF-8?q?ed=20a=20PHP=207.x=20function)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 setup/compiler.class.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup/compiler.class.inc.php b/setup/compiler.class.inc.php
index 8207fbb7a..398476031 100644
--- a/setup/compiler.class.inc.php
+++ b/setup/compiler.class.inc.php
@@ -2725,7 +2725,7 @@ EOF;
 			file_put_contents($sThemeDir.'/theme-parameters.json', json_encode($aThemeParameters));
 		}
 
-		if($oThemeNodes->count() === 0)
+		if($oThemeNodes->length === 0)
 		{
 			$aDefaultThemeInfo = $this->GetDefaultThemeInformation();
 			$sThemeDir = $sThemesDir.$aDefaultThemeInfo['name'];