0) { echo "
History for $file
"; while($row = mysql_fetch_row($result)) { $stuff = htmlize($row[ 3 ]); echo "
$stuff
Submitted by $row[0]; approved by $row[1] at $row[2]
"; } } ?>