That can be done manually, project specific. Not all projects need to override. Any developer can edit the bootstrap.php according to his needs.