Wrong return type for inotify_add_watch(), should be int|false

[UlrichEckhardt]

Greetings!

inotify_add_watch() returns false when the path doesn't exist, the documentation says it always returns int. You can check this out yourself using this small example snippet:

<?php

declare(strict_types=1);

$inotify = inotify_init();

$watch = inotify_add_watch($inotify, '/nonexistant/path', IN_ALL_EVENTS);
if ($watch === false) {
    echo "inotify_add_watch() failed\n";
}

See also this Psalm bug.

Cheers!

Uli