用php写一个接口功能是每次访问httpsapiuunlcnAPIapi-girlvideosmztxt这个txt文件随机获取一行视频mp4链接下载到本地服务器文件名字是从1mp4开始到无限mp4

解释：

1. 定义了 $url 和 $file_path 两个变量，分别代表视频链接的地址和保存视频的路径。
2. 定义了一个 $counter 变量，用于记录文件名的编号。
3. 使用一个无限循环，每次循环中从 $url 中获取视频链接内容，并用 explode() 函数将其转为数组，然后用 array_rand() 函数随机获取其中一个视频链接。
4. 定义文件名 $file_name，将 $counter 的值作为文件名的编号，并将其递增。
5. 用 file_get_contents() 函数获取视频内容，然后用 file_put_contents() 函数将视频内容写入到本地文件中。
6. 为了防止频繁请求，使用 sleep() 函数暂停 1 秒钟。
7. 由于使用了无限循环，该程序会一直执行下去，直到手动终止。