From 2b4e71657b929984e4c7f4264c00ab62a5b1f953 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Maur=C3=ADcio=20Meneghini=20Fauth?=
 <mauriciofauth@gmail.com>
Date: Fri, 27 Apr 2018 21:41:51 -0300
Subject: [PATCH] Type cast getThemeUniqueValue() return to integer
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Fixes #14213

Signed-off-by: Maurício Meneghini Fauth <mauriciofauth@gmail.com>
---
 libraries/classes/Config.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/classes/Config.php b/libraries/classes/Config.php
index dc39e010b3..a292c06774 100644
--- a/libraries/classes/Config.php
+++ b/libraries/classes/Config.php
@@ -1199,7 +1199,7 @@ class Config
      */
     public function getThemeUniqueValue(): int
     {
-        return (
+        return (int) (
             $this->source_mtime +
             $this->default_source_mtime +
             $this->get('user_preferences_mtime') +