From 1083ad2633b1ad290460124f021f2190d842af87 Mon Sep 17 00:00:00 2001
From: Jean-Christian Denis <contact@jcdenis.fr>
Date: Thu, 1 Dec 2022 11:08:51 +0100
Subject: [PATCH] fix phpstan error

---
 index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.php b/index.php
index c0ca7aa..bbf1e20 100644
--- a/index.php
+++ b/index.php
@@ -128,7 +128,7 @@ class index
             'theme'  => explode(',', DC_DISTRIB_THEMES),
         ];
 
-        if (!isset(dcCore::app()->themes)) {
+        if (!(dcCore::app()->themes instanceof dcThemes)) {
             dcCore::app()->themes = new dcThemes();
             dcCore::app()->themes->loadModules(dcCore::app()->blog->themes_path, null);
         }