I'm developing a php file manager, and when people select files like php, html and click download button, I want the files to be downloaded. How to do that?