minor PHPDoc cleanup in PluginHost

This commit is contained in:
wn_ 2024-12-15 16:41:45 +00:00
parent cfbbb9d714
commit 6f8f1b30d5

View File

@ -763,8 +763,8 @@ class PluginHost {
* Add a special (plugin-provided) feed
*
* @param int $cat_id only -1 (Feeds::CATEGORY_SPECIAL) is supported
* @return false|positive-int false if $cat_id was not -1 (Feeds::CATEGORY_SPECIAL),
* otherwise a positive integer ID that might change between executions
* @return false|int false if the feed wasn't added (e.g. $cat_id wasn't Feeds::CATEGORY_SPECIAL),
* otherwise an integer "feed ID" that might change between executions
*/
function add_feed(int $cat_id, string $title, string $icon, Plugin $sender): false|int {
if ($cat_id !== Feeds::CATEGORY_SPECIAL)