I found these snippets:

<?php

$ext = new \ReflectionExtension('ext');
$prettyVersion = $ext->getVersion();
if ($prettyVersion === null) {
    echo "Version is null\n";
}

Psalm output (using commit 8fc499e):

ERROR: TypeDoesNotContainNull - 5:5 - string does not contain null

Thanks for this!

You'll also need to change the Callmap_historical file that should match with Callmap (when there are no change of signature in recent PHP versions)

Thanks!