1<?php
2
3namespace DeepCopy\f007;
4
5use DateTimeZone;
6
7class FooDateTimeZone extends DateTimeZone
8{
9    public $cloned = false;
10
11    public function __clone()
12    {
13        $this->cloned = true;
14    }
15}
16