[MacPorts] #40579: convert ports.php and PortIndex2MySQL to PostgreSQL