[
	"¿Permite la ejecución de {0} (definido como valor del área de trabajo) para detectar errores en archivos PHP?",
	"Permitir",
	"No permitir",
	"No se puede validar porque {0} no es un ejecutable PHP válido. Use el ajuste \"php.validate.executablePath\" para configurar el ejecutable PHP.",
	"No se puede validar porque no hay ningún ejecutable PHP establecido. Use el ajuste \"php.validate.executablePath\" para configurar el ejecutable de PHP.",
	"No se pudo ejecutar el archivo PHP con la ruta de acceso: {0}. Se desconoce el motivo."
]