PHP获取开机时间？

<?php

echo shell_exec('uptime');
//返回数据类似21:49:15 up 11:16,  0 users,  load average: 0.00, 0.00, 0.00,11:16就是时间，需要linux服务器与主机支持

$开机时间=file_get_contents("/proc/uptime");
echo $开机时间;
#!强大吧