The easiest solution would be to upload a new copy of the file to your website host via FTP, if you have a backup copy available.
I apologize, I
don't know PHP. I will leave the question for another expert who could help you better. Good luck!
however if you want I can take a look at it, perhaps I might interpret what is going on and come up with a solution.