mongodb/mongo-php-driver — pull request #171 by bjori (2012-09-10 16:45:35+00:00)
Title: Remove php_mongo_server_free(), mongo_server and mongo_server_set

It is no longer used and only creates very confusing and hard to read
code, not to mention screwing with 'git grep' honesty