Cambiar la extensión de varios archivos con PHP