1--TEST--
2IntlDatePatternGenerator::getBestPattern(): clone
3--EXTENSIONS--
4intl
5--FILE--
6<?php
7ini_set("intl.error_level", E_WARNING);
8ini_set("intl.default_locale", "en_US");
9
10$dtpg = new IntlDatePatternGenerator("de_DE");
11echo $dtpg->getBestPattern("YYYYMMMddjjmm"), "\n";
12
13$dtpg_clone = clone $dtpg;
14echo $dtpg_clone->getBestPattern("YYYYMMMddjjmm"), "\n";
15
16?>
17--EXPECT--
18dd. MMM YYYY, HH:mm
19dd. MMM YYYY, HH:mm
20