Patch php 8.1#429

holtkamp wants to merge 2 commits intobernardphp:masterbernardphp/bernard:masterfrom

holtkamp:patch-php-8.1holtkamp/bernard:patch-php-8.1Copy head branch name to clipboard