A very simple file sharing script in PHP