I replaced that function.php file with a new copy and it didn’t work.
I went so far as to uninstall the theme completely, then reinstall a new copy, and I still have the same error.
I posted in on the Coraline “theme” forum last night as you suggested and so I’ll wait on them for a bit before just redoing the website with a whole new theme.