$showFilename) {
if(!$doneHeaders) {
printHeaders();
$doneHeaders = true;
printInfo();
print "
\nContents of Settings files
\n";
}
if(file_exists($showFilename)) {
$perms = fileperms($showFilename);
$permsdecoded = decode_permissions($perms);
$permsoctal = substr(sprintf('%o', $perms), -4);
print "$showFilename permissions=$permsdecoded [$permsoctal]
\n";
if($doHighlight) {
highlight_file_num($showFilename);
} else {
print "\n";
$flines = file($showFilename);
$num = 1;
foreach ($flines as $n => $line) {
$line = preg_replace('|<\?php|i','<?php',$line);
$pnum = sprintf('%6d',$num);
print "$pnum:\t$line";
$num++;
}
print "
\n
\n";
}
} else {
// print "$showFilename is not found.
\n
\n";
}
}
if($doneHeaders) {
print "