adding file `index.php`