Re: Emit a warning if the extension's GUC is set incorrectly

I wrote:
> Florin Irion <irionr@gmail.com> writes:
>> For what it's worth, I agree with throwing an ERROR if the placeholder is
>> unrecognized. Initially, I didn't want to change too much the liberty of
>> setting any placeholder, but mainly to not go unnoticed.

> I also think that this is probably a good change to make.

Hearing no objections, done.

            regards, tom lane