Is this script actually needed? `public/index.php` does the same