Done in https://github.com/jmikola/mongo-php-driver/commit/6284c9321c875c049c24a7edd33dde0cfa7914b9.