Rename of two php files