1--TEST--
2Bug #45081 (strtotime incorrectly interprets SGT time zone)
3--INI--
4date.timezone=Asia/Singapore
5--FILE--
6<?php
7
8print strtotime('2008-05-23 00:00:00 +08');
9print "\n";
10print strtotime('2008-05-23 00:00:00');
11
12?>
13--EXPECT--
141211472000
151211472000
16
