PHP超级Ping网站接口源码

<?php
$url = $_GET['url'];
$result = file_get_contents("https://ping.tx7.co/ping.php?host=".$url);
header("Content-Type:text/html;charset=UTF-8");
print_r($result);
if ($arr['code']==1) {
}
?>