From b1ff8f96898c0e6d1e11dc23ed6c89d2fb742d8a Mon Sep 17 00:00:00 2001
From: Joe Hoyle <joehoyle@gmail.com>
Date: Tue, 26 Nov 2024 12:05:31 -0500
Subject: [PATCH] Windows build should try archives

Follow up to https://github.com/davidcole1340/ext-php-rs/pull/338

Windows bulds should check the releases page, and the archive, as it's not clear when they'll be moved by Microsoft.
---
 windows_build.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/windows_build.rs b/windows_build.rs
index 39dd4ac89..e946b55ce 100644
--- a/windows_build.rs
+++ b/windows_build.rs
@@ -222,10 +222,8 @@ impl DevelPack {
             Ok(devpack_path)
         }
 
-        let is_archive = if version == "8.4.1" { false } else { true };
-
         download(&zip_name, false)
-            .or_else(|_| download(&zip_name, is_archive))
+            .or_else(|_| download(&zip_name, true))
             .map(DevelPack)
     }