Bug #77728 [Com]: pgort140.DLL missing

Edit report at https://bugs.php.net/bug.php?id=77728&edit=1 ID: 77728 Comment by: celestinoxp at hotmail dot com Reported by: celestinoxp at hotmail dot com Summary: pgort140.DLL missing Status: Closed Type: Bug Package: *General Issues Operating System: Windows 10 PHP Version: master-Git-2019-03-12 (snap) Assigned To: cmb Block user comment: N Private report: N New Comment: Problem started again in 01-April-2019 after revision "r6fccca5", i think. Today (02-April-2019) no one revision works in windows. System Info: - Windows 10 (x86), 32-bits. I related in past the same problem, and i give idea to create a test script when create compilation, script should test if have pgort140.dll missing, or not. Previous Comments: ------------------------------------------------------------------------ [2019-03-27 16:20:26] cmb@php.net This issue should now have been resolved (thanks to Anatol!) If it should happen again, please re-open this ticket. Thanks. ------------------------------------------------------------------------ [2019-03-19 14:06:53] cmb@php.net Sorry! We're working on that. ------------------------------------------------------------------------ [2019-03-19 14:02:57] celestinoxp at hotmail dot com php-master-ts-windows-vc15-x86-r44bb61f.zip pgort140.dll missing!!! ------------------------------------------------------------------------ [2019-03-15 11:27:41] celestinoxp at hotmail dot com After 3 days, the problem has not yet been resolved! PHP (Master) for Windows not working because pgort140.dll missing! ------------------------------------------------------------------------ [2019-03-12 17:13:32] cmb@php.net I can confirm that php-master-ts-windows-vc15-x86-rdbb462d.zip requires pgort140.DLL, but the DLL is missing. Anatol, could you please have a look at this issue? ------------------------------------------------------------------------ The remainder of the comments for this report are too long. To view the rest of the comments, please view the bug report online at https://bugs.php.net/bug.php?id=77728 -- Edit this bug report at https://bugs.php.net/bug.php?id=77728&edit=1