Searched refs:create_time (Results 1 – 2 of 2) sorted by relevance
104 $create_time= filectime($xml_file); variable105 if($create_time >= $current_time) {107 echo 'Feed generated: ' . date('r',$create_time) , '</span><br/>';
254 $create_time = 0;266 $create_time= filectime($xml_file); 268 if($create_time >= $current_time) {269 return 'Feed generated: ' . date('r',$create_time) ;