diff options
author | wn_ <[email protected]> | 2021-11-01 20:31:42 +0000 |
---|---|---|
committer | wn_ <[email protected]> | 2021-11-01 21:10:27 +0000 |
commit | 8a920a16e70ab55e49d22ce40d51ee962f7df1c4 (patch) | |
tree | 56fa86dc070db5de92103049caf98bb829c2d4da /classes/pluginhost.php | |
parent | a7a59fe0e2402df03c383d16d3bfb1c28ecf93b5 (diff) |
Address PHPStan warnings in 'classes/pluginhost.php'.
------ --------------------------------------------------------------------
Line classes/pluginhost.php
------ --------------------------------------------------------------------
16 Property PluginHost::$last_registered is never read, only written.
386 If condition is always true.
------ --------------------------------------------------------------------
Diffstat (limited to 'classes/pluginhost.php')
-rwxr-xr-x | classes/pluginhost.php | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/classes/pluginhost.php b/classes/pluginhost.php index f067543bb..b506a957a 100755 --- a/classes/pluginhost.php +++ b/classes/pluginhost.php @@ -13,7 +13,6 @@ class PluginHost { private $api_methods = array(); private $plugin_actions = array(); private $owner_uid; - private $last_registered; private $data_loaded; private static $instance; @@ -383,7 +382,7 @@ class PluginHost { if (!isset($this->plugins[$class])) { try { - if (file_exists($file)) require_once $file; + require_once $file; } catch (Error $err) { user_error($err, E_USER_WARNING); continue; @@ -404,8 +403,6 @@ class PluginHost { _bind_textdomain_codeset($class, "UTF-8"); } - $this->last_registered = $class; - try { switch ($kind) { case $this::KIND_SYSTEM: |