Extension plr not listed in pgadmin3

Hi all,

I’ve installed the PL/R extension with the « CREATE EXTENSION » in psql  (PostgreSQL 9.3) , my extension is correctly installed but i see that’s extension does not appear in pgadmin3 (i only see previous installed extension such as plpgsql , hstore…)

It’s not really important , but i just would like to know if this a « bug » or not . I also tried to do it (still in psql) in my PostgreSQL 9.2 server and all worked well

Regards,

P Afin de contribuer au respect de l'environnement, merci de n'imprimer ce mail qu'en cas de nécessité.