<?php function downloadFile($file){ $file_name =...