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 }
A class used for replacing large objects in var_dump() output.
Definition: Placeholder.php:10
string $desc
A description of the replaced object.
Definition: Placeholder.php:12