I want to require a file to be downloaded upon the user visiting a web page with PHP. I think it has something to do with file_get_contents, but am not sure how
file_get_contents
Or, when the file is not openable with the browser, you can just use the Location header:
Location