PGSQL UPGRADE ERROR: Wrong relation name infrastructure

[jracione]

file: /install/migration/migrate_18/migrate_18_to_19.php

Upgrade sql script for pgsql is wrong whe creating index inventory_idx1

It's:

CREATE INDEX /*prefix*/inventory_idx1 ON /*prefix*/infrastructure (testproject_id);
CREATE UNIQUE INDEX /*prefix*/inventory_uidx1 ON /*prefix*/infrastructure (name,testproject_id);

and the correct is:

CREATE INDEX /*prefix*/inventory_idx1 ON /*prefix*/inventory (testproject_id);
CREATE UNIQUE INDEX /*prefix*/inventory_uidx1 ON /*prefix*/inventory (name,testproject_id);