Comment 'php 8.0 no problem.' to 'Setup 13.0.0-RC2 php problem'