Update bootstrap.php

Does nothing.