renommer un dossier avec php

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.

Et pourquoi pas tout simplement un rename() :P

merci,
je croyais que c'était juste pour les fichiers