Minor issue fix with bootstrap.php and enabled extensions