Correct way to add PHP 8.3