Account for PHP Pull Requests
Results
2
comments of
Account for PHP Pull Requests
It was done because it was documenting two extensions, bson, and mongodb. This shouldn't be needed now, as these have been merged into one extension ages ago.
I think you should just leave fixing this to the mongodb folk, they keep these docs up to date.