Why is this "php_mongodb_batch" and not simply "php_mongo_batch"?