Searched refs:xml_file (Results 1 – 2 of 2) sorted by relevance
51 $xml_file = DOKU_INC . $title . '_news.xml'; variable54 $xml_file = DOKU_INC . 'news_feed.xml'; variable85 if(@file_exists($xml_file)) {86 $filetime = filemtime($xml_file);91 new externalNewsFeed($xml_file,$ttl/$minute,$title); 93 chmod($xml_file, 0666);98 readfile($xml_file);103 if(@file_exists($xml_file)) {104 $create_time= filectime($xml_file);
257 $xml_file = DOKU_INC . $subfeed . '_news.xml';259 else $xml_file = DOKU_INC . 'news_feed.xml';263 new externalNewsFeed($xml_file,$ttl,$subfeed); 265 if(@file_exists($xml_file)) {266 $create_time= filectime($xml_file); 272 return "A new feed may not have been generated. Check $xml_file.";