fix #15624: fix php version