--- /dev/null
+--TEST--
+Bug #13142 strtotime handling of "M d H:i:s Y" format
+--SKIPIF--
+<?php
+if (!@putenv("TZ=US/Eastern") || getenv("TZ") != 'US/Eastern') {
+ die("skip unable to change TZ enviroment variable\n");
+}
+?>
+--FILE--
+<?php
+echo date("r\n", strtotime("Sep 04 16:39:45 2001"));
+echo date("r\n", strtotime("Sep 04 2001 16:39:45"));
+?>
+--EXPECT--
+Tue, 4 Sep 2001 16:39:45 -0400
+Tue, 4 Sep 2001 16:39:45 -0400
--- /dev/null
+--TEST--
+Binary safety of each() for both keys and values
+--FILE--
+<?php
+error_reporting(E_ALL);
+$arr = array ("foo\0bar" => "foo\0bar");
+while (list($key, $val) = each($arr)) {
+ echo strlen($key), ': ';
+ echo urlencode($key), ' => ', urlencode($val), "\n";
+}
+?>
+--EXPECT--
+7: foo%00bar => foo%00bar