D Documentation  
rename
void rename(char[] old, char[] new)

Renames the file old to new.
This function can throw a FileException.

See also:
remove, FileException
Created using PHP docwiki written by Markus Dangl. Best viewed with Mozilla Firefox.