Merge v1.18 into master

[mongodb-php-bot]

Merge new changes from v1.18 into master.

Commits

• Fix syntax error in docs (Fix syntax error in docs #1285): 970d1d3

Resolving conflicts

To resolve any conflicts, check out the temporary branch and run the following command:

git merge master

Ignoring changes

To ignore from the remote branch, first reset the temporary branch to master and manually merge using the `ours` merge strategy:

git reset --hard master
git merge --strategy=ours v1.18

Then, push the temporary branch to upate the pull request.