rewinddir

rewinddir

Reinicia el gestor de directorio

Descripción#

php rewinddir([resource $dir_handle]): voidphp

Reinicia el flujo de directorio indicado por dir_handle al principio del directorio.

Parámetros#

dir_handle
Un gestor de directorio resource previamente abierto con opendir. Si dir_handle es null se utilizará el último gestor abierto usando opendir.

Valores devueltos#

No se retorna ningún valor.

Historial de cambios#

Versión	Descripción
8.5.0	Usar null para dir_handle ahora está obsoleto. En su lugar, debe proporcionarse explícitamente el último gestor de directorio abierto.
8.0.0	dir_handle ahora es nullable.

Ejemplos#

Para un ejemplo completo, consulte la documentación de opendir.

Véase también#

opendir

readdir

closedir

dir

is_dir

glob

scandir