Use PHP in our downloads page, so we can retrieve the size of a download file.