Download enchant dict from downloads.php.net

[cmb69]

Since windows.php.net is in the progress to be migrated to downloads.php.net anyway, we may as well fetch the dictionary from the new site right away.

---

Triggered by https://github.com/php/php-src/actions/runs/11244415090/job/31262430749#step:6:42.

[cmb69]

@sAnexeh, there appears to be something wrong with windows.php.net. CI fails to download some dicts from the machine, and I can no longer connect via FTP. Could you please have a look?

[TimWolla]

Makes sense to me, though I don't quite understand why the CI is red. For me the dict.zip from windows.php.net downloads just fine and is identical to the one from downloads.php.net

[sAnexeh]

@sAnexeh, there appears to be something wrong with windows.php.net. CI fails to download some dicts from the machine, and I can no longer connect via FTP. Could you please have a look?

The logs state: wget : The operation has timed out.

I've checked the logs on the host and I can see a lot of succesful downloads of dict.zip in the past two days, via IPv4 and IPv6. It might have been a temporary connection issue towards the host. Does the problem still occur?

Also, FYI: the wget command downloads via http, but that will give a 301 redirect to the https version of that same url. Might be wise for debugging purposes to point towards https directly.

[cmb69]

Does the problem still occur?

It might have been resolved. The last failure was ~9 hours ago.

However, there are apparently still issues connecting via FTP. I just had established a connection, but it broke a couple of seconds later.

[cmb69]

For the record: the dictionary download problems, as well as my FTP connection issues have been resolved.