Merge 5.1 into 5.x

[mongodb-php-bot]

Merge new changes from 5.1 into 5.x.

Commits

• Merge 5.0 into 5.1 (Merge 5.0 into 5.1 #3211): e6edd63
• Merge 4.8 into 5.0 (Merge 4.8 into 5.0 #3210): d383822
• Merge remote-tracking branch 'upstream/4.8' into pr/3210: e3c4b19
• PHPORM-263 Fix deprecation message for collection/table config in MongoDBQueueServiceProvider (PHPORM-263 Fix deprecation message for collection/table config in MongoDBQueueServiceProvider #3209): da3a46a

Resolving conflicts

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

git merge 5.x

Ignoring changes

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

git reset --hard 5.x
git merge --strategy=ours 5.1

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