Editing: ConfigurationProviderInterface.php