Let's call this `mongo` instead of `mongoExtension`, since this will be the name of the extension in PHP userland. The PHP driver identifies as `mongo`.