Thread Starter
aholub
(@aholub)
I’ve resolved it. Apache was using a different PHP version than the one that was available on the command line. Fixed it in httpd.conf. Thanks, everybody, for your help.
I’m getting exactly the same problem. Downloaded twice (to a linux system using wget), and get the same error.