Cast resource to int

This commit is contained in:
Sebastian Bergmann 2024-04-04 08:26:51 +02:00
parent fa244dedb8
commit aa77741995
No known key found for this signature in database
GPG Key ID: 4AA394086372C20A
2 changed files with 1 additions and 4 deletions

View File

@ -4,8 +4,5 @@
<ConflictingReferenceConstraint>
<code><![CDATA[if (is_object($value)) {]]></code>
</ConflictingReferenceConstraint>
<InvalidArgument>
<code><![CDATA[$value]]></code>
</InvalidArgument>
</file>
</files>

View File

@ -226,7 +226,7 @@ final class Exporter
if (is_resource($value)) {
return sprintf(
'resource(%d) of type (%s)',
$value,
(int) $value,
get_resource_type($value),
);
}