A PHP bootstrap helper