Merge remote-tracking branch 'origin/master'

2018-04-28 02:43:28 +02:00 · 2018-04-28 02:43:28 +02:00 · 9cc2d751b3
commit 9cc2d751b3
parent c24324ea8b 2b4e71657b
1 changed files with 1 additions and 1 deletions
--- 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') +