This actually didn’t work for me, but I found out why. The filter just tries to replace the ‘.gif’ extension with ‘.png’ but it doesn’t affect the file path that the plugin uses to look for the images. The result for me was that the filter did nothing because there were no .png images for it to use in the ‘stars_crystal’ folder.
In the end I copied the .png files from ‘stars(png)’ into the ‘stars_crystal’ folder and now it works fine. This will of course get overwritten each time the plugin updates though.
