applies several small optimizations (#5511)

declare(strict_types=1);
Co-authored-by: Luc <sanchezluc+freshrss@gmail.com>

1 files changed, 2 insertions, 2 deletions

diff --git a/app/install.php b/app/install.php
index b42771fbb..a404f6f4d 100644
--- a/app/install.php
+++ b/app/install.php
@@ -290,7 +290,7 @@ function freshrss_already_installed(): bool {
 	$system_conf = null;
 	try {
 		$system_conf = FreshRSS_SystemConfiguration::init($conf_path);
-	} catch (Minz_FileNotExistException $e) {
+	} catch (Minz_ConfigurationNamespaceException $e) {
 		return false;
 	}
 
@@ -298,7 +298,7 @@ function freshrss_already_installed(): bool {
 	$current_user = $system_conf->default_user;
 	try {
 		FreshRSS_UserConfiguration::init(USERS_PATH . '/' . $current_user . '/config.php');
-	} catch (Minz_FileNotExistException $e) {
+	} catch (Minz_ConfigurationNamespaceException $e) {
 		return false;
 	}