Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Typehint variable in batch query to integer #6206

Conversation

drupal-daffie
Copy link
Contributor

Updated the query on the batch table to typehint the variable $id to an integer value. This is necessary for working with MongoDB. For MongoDB a condition variable needs to the right type.

Updated the query on the batch table to typehint the variable $id to an integer value. This is necessary for working with MongoDB. For MongoDB a condition variable needs to the right type.
@drupal-daffie
Copy link
Contributor Author

drupal-daffie commented Jan 9, 2025

I have talked to @moshe on Drupal Slack about this and he replied with: "looks good. no test needed. simple pr."

@weitzman weitzman merged commit 2384835 into drush-ops:13.x Jan 9, 2025
1 check passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants