PHP是一种流行的服务器端脚本语言，可以用来创建动态网页。在Web开发中，有时需要实现文件下载功能，PHP提供了丰富的函数和方法来实现文件下载到本地的功能。
在PHP中，可以使用`header()`函数来发送原始的 HTTP 头，从而实现文件下载。下面是一个简单的示例代码，演示了如何使用PHP将文件下载到本地：
```php
<?php
$file_url = &;http://www.example.com/file.zip&;; // 文件的 URL 地址
$file_name = &;file.zip&;; // 下载到本地后的文件名
header(&;Content-Type: application/octet-stream&;);
header(&;Content-Disposition: attachment; filename="&; . $file_name . &;"&;);
readfile($file_url);
?>
```
上面的代码首先定义了要下载的文件的URL地址和下载到本地后的文件名。然后使用`header()`函数设置HTTP头，指示浏览器以附件形式下载文件。最后使用`readfile()`函数将远程文件内容输出到本地，实现文件下载功能。
除了上面的方法，还可以使用`file_get_contents()`和`file_put_contents()`函数结合`header()`函数来实现文件下载功能。具体代码如下：
```php
<?php
$file_url = &;http://www.example.com/file.zip&;; // 文件的 URL 地址
$file_name = &;file.zip&;; // 下载到本地后的文件名
$file_content = file_get_contents($file_url);
file_put_contents($file_name, $file_content);
header(&;Content-Type: application/octet-stream&;);
header(&;Content-Disposition: attachment; filename="&; . $file_name . &;"&;);
readfile($file_name);
?>
```
上面的代码首先使用`file_get_contents()`函数获取远程文件的内容，然后使用`file_put_contents()`函数将文件内容保存到本地。接着使用`header()`函数设置HTTP头，最后使用`readfile()`函数将本地文件内容输出到浏览器，实现文件下载功能。
总之，PHP提供了多种方法来实现文件下载到本地的功能，开发者可以根据具体需求选择合适的方法来实现文件下载功能。