We added a workaround for a PHP 7.2 GC bug, which has since been fixed upstream in PHP. We should remove the workaround at some point.
Workaround patch was: T228346: PHP 7.2 garbage collector segfault, 34fcb4241aa0f3a010e39d0857b5a6d2569204de.
https://codesearch.wmflabs.org/search/?q=T228346&i=nope&files=&repos=
We could either wait until our min PHP version is bumped to 7.3, or else just ban the affected minor versions of PHP 7.2, the way that T246594: Prevent use of known buggy versions of PHP (that are greater than the minimum supported PHP version) (7.4.0 – 7.4.8, and 7.3.0 - 7.3.18) is handled.