PHP
print date('Y-m-d H:i:s', strtotime('20130902110000')); 結果： 2013-09-02 11:00:00
$xy = explode(':', '123:456'); echo $xy[0]; // 123
php -r "echo time();"
1000, 'Area' => 360); $events[] = array('Time' => 100, 'Area' => 100); $events[] = array('Time' => 100, 'Area' => 100); $events[] = array('Time' => 100, 'Area' => 100); $sum_datas = array(); foreach ($events as $event) { $area = (string) …
