1--TEST--
2Inherited DateTimeZone serialisation with custom properties
3--FILE--
4<?php
5date_default_timezone_set("Europe/London");
6
7class MyDateTimeZone extends DateTimeZone
8{
9	public function __construct(
10		string $timezone = "Europe/Kyiv",
11		public ?bool $myProperty = null,
12	) {
13		parent::__construct($timezone);
14	}
15}
16
17$d = new MyDateTimeZone("Europe/London", myProperty: true);
18$e = unserialize(serialize($d));
19var_dump($e->myProperty);
20?>
21--EXPECTF--
22bool(true)
23