Editing: ExtensionBootstrap.php