Updating bootstrap.inc again
Updating the php doc comment