Update bootstrap.php

It wasn't PHP!