fatal error after mistake

Hi,

I’m teaching a wordpress class to some homeschoolers and one of the students got a little too smart for himself. I think he went and changed the URL in settings to a subdomain that didn’t exist.

I went ahead and changed the subdomain, and updated DNS to the right name, but when I visit the site I get the following:

Warning: Unknown: failed to open stream: No such file or directory in Unknown on line 0

Fatal error: Unknown: Failed opening required ‘/home/wahfre5/public_html/digitaltardis/wordfence-waf.php’ (include_path=’.:/usr/lib/php:/usr/local/lib/php’) in Unknown on line 0

I’ve searched the usual wordpress configuration files to see where the call is being made but I can’t locate it. Can you help me find which file calls wordfence-waf.php so I can update the path to the correct one?