Merge 4.7 into 4.8

[mongodb-php-bot]

Merge new changes from 4.7 into 4.8.

Commits

• DOCSP-41628: v4.7 docs version update (DOCSP-41628: v4.7 docs version update #3058): 172c6e3

Resolving conflicts

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

git merge 4.8

Ignoring changes

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

git reset --hard 4.8
git merge --strategy=ours 4.7

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