Bonjour,

Je souhaiterais renommer un dossier sur un serveur avec php, mais je ne connais pas la fonction qui le permet.

Je connais mkdir() pour le creer et rmdir() pour le detruire mais je n'en connais pas pour le renommer.

Je remercie d'avance celui qui pourra m'aider.