restore bootstrap.php