PHPC-2093: Key Management API
https://jira.mongodb.org/browse/PHPC-2093
@alcaeus: Feel free to review my last commit. I'll wait on https://github.com/mongodb/mongo-php-driver/pull/1347 to be merged before merging this.
One question: when merging generated arginfo.h files, I assume we always want to regenerate those after merging to ensure the "Stub hash" is consistent. Is that correct?
One question: when merging generated
arginfo.hfiles, I assume we always want to regenerate those after merging to ensure the "Stub hash" is consistent. Is that correct?
That is correct. Luckily, the stub hash in the arginfo file will conflict if the file was changed in both head and base branch of a PR, requiring a rebase and re-generation of the arginfo file.