[PR #963] [MERGED] SQLFilter -- allows to check if a parameter was set #8968

Closed
opened 2026-01-22 16:02:33 +01:00 by admin · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/doctrine/orm/pull/963
Author: @mdemo
Created: 2/26/2014
Status: Merged
Merged: 3/23/2014
Merged by: @beberlei

Base: masterHead: master


📝 Commits (1)

  • 1921c2f Allow if parameter exists in SQLFilter

📊 Changes

1 file changed (+16 additions, -0 deletions)

View changed files

📝 lib/Doctrine/ORM/Query/Filter/SQLFilter.php (+16 -0)

📄 Description

Small change to SQLFilter, which allows to check if a parameter was set on filter


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/doctrine/orm/pull/963 **Author:** [@mdemo](https://github.com/mdemo) **Created:** 2/26/2014 **Status:** ✅ Merged **Merged:** 3/23/2014 **Merged by:** [@beberlei](https://github.com/beberlei) **Base:** `master` ← **Head:** `master` --- ### 📝 Commits (1) - [`1921c2f`](https://github.com/doctrine/orm/commit/1921c2f74a2d21e46a79988a262f87716b3e1e65) Allow if parameter exists in SQLFilter ### 📊 Changes **1 file changed** (+16 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `lib/Doctrine/ORM/Query/Filter/SQLFilter.php` (+16 -0) </details> ### 📄 Description Small change to SQLFilter, which allows to check if a parameter was set on filter --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
admin added the pull-request label 2026-01-22 16:02:33 +01:00
admin closed this issue 2026-01-22 16:02:33 +01:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: doctrine/archived-orm#8968