Sylvia2: What you did is the correct thing. The plugin should have been downloaded as a zip file, but sometimes the combination of browser and site gets it as a php file. Renaming it fixes.
And now that I have a couple of reports that everything is OK, I'll arrange to get it the update released.
|