[PHP-DOC] pgsql.xml

[Simone Cortesi]

Hi,

should I add <filename>php.ini</filename> where needed in the 'pgsql.xml' file?

I see many occurrencies of 'php.ini' (without the DocBook <filename> tag) 
at the beginning of the file.

Let me know,
Simone.