* htdocs/top.php: use require() instead of include()