Upgrade to PHP 7.4

This is my first attempt at #11002 (closed) after finding this commit. I have no idea what I'm doing yet, but hopefully it's in the right direction.