I had to edit the php.ini file, and I used danoph’s suggestion to find the path to /tmp that WordPress was using, in the wp-admin/includes/file.php I added
echo getcwd();
That gave me the very surprising path I had to put in the php.ini file. And it worked beautifully. Thank you, Danoph!
