Editing: ConfigurationBuilderInterface.php