Formatted `public/index.php` by new code style.