Rename setup.php to index.php

Rename the file so it can be loaded from the browser without
specifiying a file name. The webserver must load index.php files if no
file is specified.