diff options
| author | wn_ <invalid@email.com> | 2024-11-12 03:38:45 +0000 |
|---|---|---|
| committer | wn_ <invalid@email.com> | 2024-11-12 03:38:45 +0000 |
| commit | dca2ae60a1c7a7951ee769aefeb19c4576c57aa6 (patch) | |
| tree | 613b5affdfa45bf9fa540d40cf88ddff9fb9bb54 /classes/Handler_Public.php | |
| parent | a784305cc764a7e039ad87074f541db68a653a5a (diff) | |
Remove some PHPStan ignores and make others rule-specific.
Diffstat (limited to 'classes/Handler_Public.php')
| -rw-r--r-- | classes/Handler_Public.php | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/classes/Handler_Public.php b/classes/Handler_Public.php index 208c8e40a..be4254783 100644 --- a/classes/Handler_Public.php +++ b/classes/Handler_Public.php @@ -53,9 +53,8 @@ class Handler_Public extends Handler { $handler = $tmppluginhost->get_feed_handler( PluginHost::feed_to_pfeed_id((int)$feed)); - if ($handler) { - // 'get_headlines' is implemented by the plugin. - // @phpstan-ignore-next-line + if ($handler && implements_interface($handler, 'IVirtualFeed')) { + /** @var Plugin&IVirtualFeed $handler */ $qfh_ret = $handler->get_headlines(PluginHost::feed_to_pfeed_id((int)$feed), $params); } else { user_error("Failed to find handler for plugin feed ID: $feed", E_USER_ERROR); |