The stubs are automatically extracted from php-src and are relevant for analyzing codebases that use PHP 8 or later.