Searched defs:html_file (Results 1 – 1 of 1) sorted by relevance
466 $html_file = null; variable657 $html_file = fopen($argv[++$i], 'wt'); variable
Completed in 13 milliseconds