PHP获取远程文件大小
<?php
$url = "https://www.x.com/a.jpg"; // 替换为你要获取大小的远程文件URL
$headers = get_headers($url, 1);
if (isset($headers['Content-Length'])) {
$fileSize = $headers['Content-Le...
IDM 6.41 绿色便携版
http://www.qiuquan.cc/download/idm.html?33857_html
IDM（Internet Download Manager）批量下载 自定义文件名方法
鼎鼎大名的IDM居然不支持自定义文件名的功能，但是从网上找到一位好友写的辅助工具可以实现批量下载自定义文件名的效果。
首先打开辅助工具，把文件名和下载地址配置进去，然后点击推入，这时候IDM软件就新增好下载任务了。
具体格式为：
1.jpg,http://www.xx.com/dfasdf.jpg
一行一个，还有其他语法，具体看原文：https://www....
腾讯视频API接口 PHP版本
<?php
php动态获取腾讯视频mp4地址
$jsonstr=file_get_contents('http://vv.video.qq.com/getinfo?vids='.$videosrc.'&platform=101001&charge=0&otype=json');
$jsonstr=ltrim($jsonstr,'...
PHP循环输出数组
$my_kefu_name="1,2,3";
$grade = explode(",", $my_kefu_name);
foreach ($grade as $value) {
echo $value;
}
PHP判断在数组中排第几
<?php $grades = array(85, 90, 73, 79, 92, 88, 75);
$rank = array_search(79, $grades);
echo "您的成绩在数组中的排名是第 $rank 名。";
?>
PHP解析JSON数据
<?php
$jsonString = '{"errcode":0,"errmsg":"ok"}';
// 将JSON字符串转换为PHP对象
$dataObject = json_decode($jsonString);
// 将JSON字符串转换为PHP关联数组
$dataArray = json_decode($jsonString, tr...
PHP解析XML
输出 XML 字符串中每个子节点的元素名称和数据：
<?php
$note=<<<XML
<note>
<to>Tove</to>
<from>Jani</from>
<heading>Reminder</heading>
<body>Do...
PHP读取XML数据
解析XML字符串:
$xmlString = '<root><element>Value</element></root>';
$xmlObject = simplexml_load_string($xmlString);
echo $xmlObject->element; // 输出 Value
解析X...