« Laufzeit-Konfiguration
Vordefinierte Konstanten »
PHP Manual
Installation/Konfiguration
Ressource-Typen
Ressource-Typen
This extension defines a stream resource returned by
inotify_init()
.