Re: Extensions, this time with a patch

On Wed, Oct 20, 2010 at 12:58 PM, Alvaro Herrera
<alvherre@commandprompt.com> wrote:
>> * xml2 module has a different extension name from the directory name.
>> The directory name is 'xml2', but the extension name is 'pgxml'.
>
> Lets rename the directory.

Hmmm, but we call it 'xml2' in the doc. There is no 'pgxml' at all in it.
http://developer.postgresql.org/pgdocs/postgres/xml2.html

However, I don't think we can change the module name because pg_upgrade
will fail if the module (.so) name was changed. So, it might be the
point of compromise to keep two names until we deprecate it completely.

-- 
Itagaki Takahiro