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