✏️ Editing: ServerConfigProviderInterface.php