="rc-text-muted rc-mt-md">Refreshing devices...</p>
            </div>
        `;
        
        // Fetch updated device list
        fetch('/api/v1/cases/' + caseID + '/devices?_t=' + Date.now())
            .then(response => {
                if (!response.ok) {
                    throw new Error('HTTP ' + response.status);
                }
                return response.json();
            })
            .then(data => {
                let devices = data.devices || data || [];
                update