PHP 7 doesn't like the old short tags we were using (it's possible to re-enable
them, but won't be for version 8, so we might as well switch now), and the old
MySQL APIs are now gone entirely, replaced with something different.
This should make everything work at least as well as it used to.
Also, one file used to be checked in with CRLF line endings. ??