Added `bootstrap.php`.