Added specification of PHPCPD version