1 |
<? |
<? |
2 |
|
|
3 |
function find_html_file($dir,$file) { |
function find_html_file($dir,$file) { |
4 |
$file="./$dir/$file"; |
if ($dir!="") $file="./$dir/$file"; |
5 |
if (is_file("$file") && file_exists("$file")) { return "$file"; } |
if (is_file("$file") && file_exists("$file")) { return "$file"; } |
6 |
if (is_file("$file.htm") && file_exists("$file.htm")) { return "$file.htm"; } |
if (is_file("$file.htm") && file_exists("$file.htm")) { return "$file.htm"; } |
7 |
if (is_file("$file.html") && file_exists("$file.html")) { return "$file.html"; } |
if (is_file("$file.html") && file_exists("$file.html")) { return "$file.html"; } |