ah, here we are: https://github.com/ahgamut/php-src/tree/cosmo_php81

(note it's an experimental port, I just put it together).