diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-02-16 14:20:45 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-02-16 14:20:45 +0100 |
| commit | b63ea1047a5c130231cec5571861f1dcdf63a063 (patch) | |
| tree | 0fff21141ba410ca439833f64b41e86a1d22e2b4 /ext/mysqli | |
| parent | cb9785add1bc8031531c2870c267e6a72efae6af (diff) | |
| download | php-git-b63ea1047a5c130231cec5571861f1dcdf63a063.tar.gz | |
Mark resource-like objects as non-comparable
As these hold on to some internal resource, there can't be two
"equal" objects with different identity. Make sure the lack of
public properties doesn't result in these being treated as always
equal.
Diffstat (limited to 'ext/mysqli')
0 files changed, 0 insertions, 0 deletions