MediaWiki
REL1_40
Placeholder.php
Go to the documentation of this file.
1
<?php
2
3
namespace
Wikimedia\DebugInfo
;
4
10
class
Placeholder
{
12
public
$desc
;
13
17
public
function
__construct
( $value ) {
18
$type
= gettype( $value );
19
if
(
$type
===
'object'
) {
20
$this->desc = get_class( $value ) .
'#'
. spl_object_id( $value );
21
}
else
{
22
$this->desc =
$type
;
23
}
24
}
25
}
Wikimedia\DebugInfo\Placeholder
A class used for replacing large objects in var_dump() output.
Definition
Placeholder.php:10
Wikimedia\DebugInfo\Placeholder\__construct
__construct( $value)
Definition
Placeholder.php:17
Wikimedia\DebugInfo\Placeholder\$desc
string $desc
A description of the replaced object.
Definition
Placeholder.php:12
Wikimedia\DebugInfo
Definition
AnnotationReader.php:3
$type
$type
Definition
testCompression.php:53
includes
libs
DebugInfo
Placeholder.php
Generated on Thu Jun 27 2024 14:03:06 for MediaWiki by
1.10.0