Extension script error - Mailing list pgadmin-support

From Bartosz Dmytrak
Subject Extension script error
Date
Msg-id CAD8_Ucbdk0DsYJXhMUjSJfbpbr+=28Um7s_UDgQxc-R7OZ1EPA@mail.gmail.com
Whole thread Raw
Responses Re: Extension script error
List pgadmin-support
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

pgadmin-support by date:

Previous
From: Guillaume Lelarge
Date:
Subject: Re: \Copy and "Copy With Headers" -- every day these bug me.
Next
From: "Pavel V."
Date:
Subject: pgadmin 1.14.1 bug