PHPC-1801: Fix arginfo for Manager::selectServer (#1211)
PHPC-1801: Fix arginfo for Manager::selectServer (#1211)


mongodb-labs/mongo-php-driver-prototype,mongodb/mongo-php-driver,jmikola/mongo-php-driver,mongodb-labs/mongo-php-driver-prototype,mongodb-labs/mongo-php-driver-prototype,jmikola/mongo-php-driver,jmikola/mongo-php-driver,mongodb/mongo-php-driver,jmikola/mongo-php-driver,mongodb/mongo-php-driver,mongodb-labs/mongo-php-driver-prototype,mongodb/mongo-php-driver,mongodb-labs/mongo-php-driver-prototype,jmikola/mongo-php-driver,mongodb/mongo-php-driver