diffeq

Thanks for your response Perry. I fixed the issue not long after submitting this ticket, and I believe the problem was that I had not installed the PHP DOM library, as you said. After upgrading to PHP 7, there were several libraries that required updating including this one.