php ver hotfix