Thanks for people’s further replies. Please note the problem has been solved and the answer is here: Upgrade of OpenEMR from 5.0.0 to 5.0.1 fails
(I had opened a separate thread as technically the problem had evolved into a different one from the original one of this thread, plus this thread seemed to have died at that point.)
Yes, Brady you were right, and thanks again!