Since PHP 7.2 the ReflectionClass::getMethods($filter) method does support null as $filter value. Apparently the build for 7.2.15 build does not not:
Since PHP 7.2 the ReflectionClass::getMethods($filter) method does support null as $filter value. Apparently the build for 7.2.15 build does not not: