Searched refs:dest_filename (Results 1 – 4 of 4) sorted by relevance
12 …$dest_filename = OUTPUT_FILE_DIRECTORY.$this->filename_escape($this->get_filename()).".".$content_…14 copy($tmp_filename, $dest_filename);17 $text = preg_replace('/%link%/', 'file://'.$dest_filename, $text);
21 function MyDestinationFile($dest_filename) { argument22 $this->_dest_filename = $dest_filename;
25 function MyDestinationFile($dest_filename) { argument26 $this->_dest_filename = $dest_filename;
11 function MyDestinationFile($dest_filename) { argument12 $this->_dest_filename = $dest_filename;