diff options
Diffstat (limited to 'classes/PluginHost.php')
| -rw-r--r-- | classes/PluginHost.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/classes/PluginHost.php b/classes/PluginHost.php index 23ff03661..88eb5d2a4 100644 --- a/classes/PluginHost.php +++ b/classes/PluginHost.php @@ -386,6 +386,7 @@ class PluginHost { * @param PluginHost::HOOK_* $type */ function del_hook(string $type, Plugin $sender): void { + /** @phpstan-ignore function.alreadyNarrowedType ($type might not exist) */ if (is_array($this->hooks[$type])) { foreach (array_keys($this->hooks[$type]) as $prio) { $key = array_search($sender, $this->hooks[$type][$prio]); @@ -589,7 +590,7 @@ class PluginHost { } } - /** @return array<string, array{'description': string, 'suffix': string, 'arghelp': string, 'class': Plugin}>> command type -> details array */ + /** @return array<string, array{'description': string, 'suffix': string, 'arghelp': string, 'class': Plugin}> command type -> details array */ function get_commands() { return $this->commands; } |