1 files changed, 7 insertions, 30 deletions
diff --git a/vendor/thecodingmachine/safe/generated/dir.php b/vendor/thecodingmachine/safe/generated/dir.php
index 628dec537..fe4ea5af5 100644
--- a/vendor/thecodingmachine/safe/generated/dir.php
+++ b/vendor/thecodingmachine/safe/generated/dir.php
@@ -31,6 +31,9 @@ function chdir(string $directory): void
  * only when using the CLI, CGI or Embed SAPI. Also, this function
  * requires root privileges.
  *
+ * Calling this function does not change the values of the __DIR__
+ * and __FILE__ magic constants.
+ *
  * @param string $directory The path to change the root directory to.
  * @throws DirException
  *
@@ -74,7 +77,7 @@ function getcwd(): string
  * closedir, readdir, and
  * rewinddir calls.
  *
- * @param string $path The directory path that is to be opened
+ * @param string $directory The directory path that is to be opened
  * @param resource $context For a description of the context parameter,
  * refer to the streams section of
  * the manual.
@@ -82,13 +85,13 @@ function getcwd(): string
  * @throws DirException
  *
  */
-function opendir(string $path, $context = null)
+function opendir(string $directory, $context = null)
 {
     error_clear_last();
     if ($context !== null) {
-        $result = \opendir($path, $context);
+        $result = \opendir($directory, $context);
     } else {
-        $result = \opendir($path);
+        $result = \opendir($directory);
     }
     if ($result === false) {
         throw DirException::createFromPhpError();
@@ -98,32 +101,6 @@ function opendir(string $path, $context = null)
 
 
 /**
- * Resets the directory stream indicated by
- * dir_handle to the beginning of the
- * directory.
- *
- * @param resource $dir_handle The directory handle resource previously opened
- * with opendir. If the directory handle is
- * not specified, the last link opened by opendir
- * is assumed.
- * @throws DirException
- *
- */
-function rewinddir($dir_handle = null): void
-{
-    error_clear_last();
-    if ($dir_handle !== null) {
-        $result = \rewinddir($dir_handle);
-    } else {
-        $result = \rewinddir();
-    }
-    if ($result === false) {
-        throw DirException::createFromPhpError();
-    }
-}
-
-
-/**
  * Returns an array of files and directories from the
  * directory.
  *