html_file (definition) in projects: PHP-7.2

Searched defs:html_file (Results 1 – 1 of 1) sorted by relevance

495 $html_file = null;

495 $html_file = null; variable 696 $html_file = fopen($argv[++$i], 'wt'); variable