From dc3477d68d244b714cacb2a9182fcf53976ccc01 Mon Sep 17 00:00:00 2001 From: slawkens Date: Tue, 16 May 2023 12:46:02 +0200 Subject: [PATCH] Nothing important --- system/libs/plugins.php | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/system/libs/plugins.php b/system/libs/plugins.php index 30bbbd35..c2b8f594 100644 --- a/system/libs/plugins.php +++ b/system/libs/plugins.php @@ -608,7 +608,8 @@ class Plugins { return false; } - public static function is_installed($plugin_name, $version) { + public static function is_installed($plugin_name, $version): bool + { $filename = BASE . 'plugins/' . $plugin_name . '.json'; if(!file_exists($filename)) { return false; @@ -616,7 +617,7 @@ class Plugins { $string = file_get_contents($filename); $plugin_info = json_decode($string, true); - if($plugin_info == false) { + if(!$plugin_info) { return false; }