Merge branch 'PHP-5.4' into PHP-5.5

* PHP-5.4:
  Fix broken test caused by fdb2709.

Conflicts:
	ext/intl/tests/dateformat_format.phpt

diff --cc ext/intl/tests/dateformat_format.phpt
index 8b410876c0eb9a0cd5a98890bba1495f15600861,20908b3f3f96dd00331067a9a7594185f66b3429..f9a90684ddb54667bad74c39969c7e90ddd211e4
--- 1/ext/intl/tests/dateformat_format.phpt
--- 2/ext/intl/tests/dateformat_format.phpt
+++ b/ext/intl/tests/dateformat_format.phpt
@@@ -358,41 -355,41 +358,41 @@@ Date is: DateTime::__set_state(array
  Formatted DateTime is : 20091231 03:02 PM
  ------------
  Date is: DateTime::__set_state(array(
-    'date' => '2000-12-30 19:04:05',
+    'date' => '2000-12-30 19:04:05.000000',
 -   'timezone_type' => 3,
 -   'timezone' => 'America/Los_Angeles',
 +   'timezone_type' => 2,
 +   'timezone' => 'PDT',
  ))
  ------------
  Formatted DateTime is : Saturday, December 30, 2000 5:04:05 PM GMT-10:00
  ------------
  Date is: DateTime::__set_state(array(
-    'date' => '2000-12-30 19:04:05',
+    'date' => '2000-12-30 19:04:05.000000',
 -   'timezone_type' => 3,
 -   'timezone' => 'America/Los_Angeles',
 +   'timezone_type' => 2,
 +   'timezone' => 'PDT',
  ))
  ------------
  Formatted DateTime is : December 30, 2000 5:04:05 PM GMT-10:00
  ------------
  Date is: DateTime::__set_state(array(
-    'date' => '2000-12-30 19:04:05',
+    'date' => '2000-12-30 19:04:05.000000',
 -   'timezone_type' => 3,
 -   'timezone' => 'America/Los_Angeles',
 +   'timezone_type' => 2,
 +   'timezone' => 'PDT',
  ))
  ------------
  Formatted DateTime is : Dec 30, 2000 5:04:05 PM
  ------------
  Date is: DateTime::__set_state(array(
-    'date' => '2000-12-30 19:04:05',
+    'date' => '2000-12-30 19:04:05.000000',
 -   'timezone_type' => 3,
 -   'timezone' => 'America/Los_Angeles',
 +   'timezone_type' => 2,
 +   'timezone' => 'PDT',
  ))
  ------------
  Formatted DateTime is : 12/30/00 5:04 PM
  ------------
  Date is: DateTime::__set_state(array(
-    'date' => '2000-12-30 19:04:05',
+    'date' => '2000-12-30 19:04:05.000000',
 -   'timezone_type' => 3,
 -   'timezone' => 'America/Los_Angeles',
 +   'timezone_type' => 2,
 +   'timezone' => 'PDT',
  ))
  ------------
  Formatted DateTime is : 20001230 05:04 PM