Reinstated missing bootstrap.php