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