1 files changed, 0 insertions, 44 deletions
diff --git a/vendor/thecodingmachine/safe/generated/inotify.php b/vendor/thecodingmachine/safe/generated/inotify.php
deleted file mode 100644
index 2e0704159..000000000
--- a/vendor/thecodingmachine/safe/generated/inotify.php
+++ /dev/null
@@ -1,44 +0,0 @@
-<?php
-
-namespace Safe;
-
-use Safe\Exceptions\InotifyException;
-
-/**
- * Initialize an inotify instance for use with
- * inotify_add_watch
- *
- * @return resource A stream resource.
- * @throws InotifyException
- *
- */
-function inotify_init()
-{
-    error_clear_last();
-    $result = \inotify_init();
-    if ($result === false) {
-        throw InotifyException::createFromPhpError();
-    }
-    return $result;
-}
-
-
-/**
- * inotify_rm_watch removes the watch
- * watch_descriptor from the inotify instance
- * inotify_instance.
- *
- * @param resource $inotify_instance Resource returned by
- * inotify_init
- * @param int $watch_descriptor Watch to remove from the instance
- * @throws InotifyException
- *
- */
-function inotify_rm_watch($inotify_instance, int $watch_descriptor): void
-{
-    error_clear_last();
-    $result = \inotify_rm_watch($inotify_instance, $watch_descriptor);
-    if ($result === false) {
-        throw InotifyException::createFromPhpError();
-    }
-}