<div dir="ltr">In an effort to eliminate the errors on the site, I upgraded to PHP 7.2. This seems to have been a bad idea; the ancient phpBB version we're using is totally incompatible. I'm working on resuscitating the site, but it may take some time.</div>