https://github.com/mongodb/mongo-php-library/releases/tag/1.12.0 https://github.com/mongodb/mongo-php-library/releases/tag/1.13.0
1.11.0...1.13.0
part of #14063 (closed)