[pgadmin-support] Extension script error

[Bartosz Dmytrak]

Hi,
I think there is a bug in extensions SQL window eg. for intarray extension,
generated script looks like this:
-- Extension: intarray

-- DROP EXTENSION intarray;

 CREATE EXTENSION intarray
  SCHEMA public
  VERSION 1.0;
ALTER EXTENSION intarray
  OWNER TO postgres;

But should be:
-- Extension: intarray

-- DROP EXTENSION intarray;

 CREATE EXTENSION intarray
  SCHEMA public
  VERSION "1.0";
ALTER EXTENSION intarray
  OWNER TO postgres;

I mean, there should be quotation around version number. When You create
extension, script is generated properly.
pgAdmin 1.14.1 Windows 7 32 bit.

Regards,
Bartek