Little adjustment of php version compare