Revert bootstrap.php