Searched refs:out_file (Results 1 – 1 of 1) sorted by relevance
110 $out_file= DOKU_INC."data/pages/".$newtitle; variable113 if (file_exists($out_file)) {143 file_put_contents($out_file, $article);