re-enable other php version