Uprev PHPUnit to 8.5.2
Uprev PHPUnit to 8.5.2

The future is now! This is compatible with both PHP 7.2 and 7.4, for
increased compatibility with Ubuntu Focal.

omegaup/puppet,omegaup/puppet,omegaup/puppet,omegaup/puppet