Nixpkgs has dropped PHP 7.2. Updating to PHP 7.4 should be painless as our usage of PHP is very limited.
I had to patch composer2nix with: require_once(dirname(__FILE__)./../../../../vendor/autoload.php);