* htdocs/index.php: clean