Thanks for your effort. Is this a „general“ error, caused by a newer php version or a specific one, because eventually the fix could be useful for some other plugins developed by him.