<?php             }

        }



        $a['param']['client_encoding'] = pg_client_encoding($link);

        $a['param'] = new EnumStub($a['param']);



        return $a;