Merge 4.8 into 5.0

[mongodb-php-bot]

Merge new changes from 4.8 into 5.0.

Commits

• Merge 4.7 into 4.8 (Merge 4.7 into 4.8 #3075): c9adc7d
• PHPORM-222 Register the `BusServiceProvider` when `BatchRepository` is built (PHPORM-222 Register the BusServiceProvider when BatchRepository is built #3071): 895dcc7

Resolving conflicts

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

git merge 5.0

Ignoring changes

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

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

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