Thank you for the help. To be clear I open this file. Change the code as listed above and save the file with the same name. Then zip the file, save it with the same name. Then delete the old plugin and and upload the new file.
That is what I did – but no luck yet. Anything else we need to do?