Update succeeded
I renamed the directory holding the ‘bad’ WP version, and renamed the directory holding the correct version to the proper name, so all I needed to do next was tell WASD to restart.
Next, I set the PHP version to 5.4
That’s what you’re looking at now.
I have version 5.5 and 5.6 also on the system but I’m not sure the startup procedures have been updated to my setup. So that needs to be checked first; if all is well, I nay update PHP even further.