MediaWiki
master
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
includes
libs
DebugInfo
Placeholder.php
Generated on Sat Sep 30 2023 13:08:53 for MediaWiki by
1.9.1