Editing: MutableConfigurationInterface.php