1--TEST--
2Bug #46849 (Cloning DOMDocument doesn't clone the properties).
3--EXTENSIONS--
4dom
5--FILE--
6<?php
7$dom = new DOMDocument;
8$dom->formatOutput = 1;
9var_dump($dom->formatOutput);
10
11$dom2 = clone $dom;
12var_dump($dom2->formatOutput);
13?>
14--EXPECT--
15bool(true)
16bool(true)
17
