[PR #340] [CLOSED] add public has() method to filter collection. #8049

New Issue

admin · 2026-01-22T15:58:09+01:00

admin commented

2026-01-22 15:58:09 +01:00

📋 Pull Request Information

Original PR: https://github.com/doctrine/orm/pull/340
Author: @pjedrzejewski
Created: 4/19/2012
Status: ❌ Closed

Base: master ← Head: patch-1

📝 Commits (1)

880d180 add public has() method to filter collection.

📊 Changes

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

View changed files

📝 lib/Doctrine/ORM/Query/FilterCollection.php (+12 -0)

📄 Description

Sorry if there is any reason why this is not implemented already.
This is useful when some feature, for example soft-deleteable filter may be optional.

_{🔄 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/340 **Author:** [@pjedrzejewski](https://github.com/pjedrzejewski) **Created:** 4/19/2012 **Status:** ❌ Closed **Base:** `master` ← **Head:** `patch-1` --- ### 📝 Commits (1) - [`880d180`](https://github.com/doctrine/orm/commit/880d180461befad7368e5d5284d330500c00d711) add public has() method to filter collection. ### 📊 Changes **1 file changed** (+12 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `lib/Doctrine/ORM/Query/FilterCollection.php` (+12 -0) </details> ### 📄 Description Sorry if there is any reason why this is not implemented already. This is useful when some feature, for example `soft-deleteable` filter may be optional. --- <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 15:58:09 +01:00

admin closed this issue

2026-01-22 15:58:10 +01:00

admin referenced this issue

2026-01-22 16:08:40 +01:00

[PR #8049] Run Static analysis and coding standards in Github Actions #10782

Sign in to join this conversation.