timezone UTC 0 +0000 0
Date timestamp using format(): 1447254000
timezone UTC 0 +0000 0
Date timestamp using getTimestamp(): 1447254000
timezone UTC 0 +0000 0
Changing timezone to CET
timezone CET 0 +0100 3600
Date timestamp using format(): 1447254000 NB: This has changed?!?!
timezone CET 0 +0100 3600
Date timestamp using getTimestamp(): 1447254000 NB: Now it is back?!?!
timezone CET 0 +0100 3600
Date timestamp using format() again: 1447254000 NB: Now it is back?!?!
timezone CET 0 +0100 3600
Output for 8.3.5
Warning: PHP Startup: Unable to load dynamic library 'sodium.so' (tried: /usr/lib/php/8.3.5/modules/sodium.so (libsodium.so.23: cannot open shared object file: No such file or directory), /usr/lib/php/8.3.5/modules/sodium.so.so (/usr/lib/php/8.3.5/modules/sodium.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
timezone UTC 0 +0000 0
Date timestamp using format(): 1447254000
timezone UTC 0 +0000 0
Date timestamp using getTimestamp(): 1447254000
timezone UTC 0 +0000 0
Changing timezone to CET
timezone CET 0 +0100 3600
Date timestamp using format(): 1447254000 NB: This has changed?!?!
timezone CET 0 +0100 3600
Date timestamp using getTimestamp(): 1447254000 NB: Now it is back?!?!
timezone CET 0 +0100 3600
Date timestamp using format() again: 1447254000 NB: Now it is back?!?!
timezone CET 0 +0100 3600
timezone UTC 0 +0000 0
Date timestamp using format(): 1447254000
timezone UTC 0 +0000 0
Date timestamp using getTimestamp(): 1447254000
timezone UTC 0 +0000 0
Changing timezone to CET
timezone CET 0 +0100 3600
Date timestamp using format(): 1447257600 NB: This has changed?!?!
timezone CET 0 +0100 3600
Date timestamp using getTimestamp(): 1447254000 NB: Now it is back?!?!
timezone CET 0 +0100 3600
Date timestamp using format() again: 1447254000 NB: Now it is back?!?!
timezone CET 0 +0100 3600
Output for 5.5.0 - 5.5.9
timezone UTC 0 +0000 0
Date timestamp using format(): 1447254000
timezone UTC 0 +0000 0
Date timestamp using getTimestamp(): 1447254000
timezone UTC 0 +0000 0
Changing timezone to CET
timezone Europe/Berlin 0 +0100 3600
Date timestamp using format(): 1447254000 NB: This has changed?!?!
timezone Europe/Berlin 0 +0100 3600
Date timestamp using getTimestamp(): 1447254000 NB: Now it is back?!?!
timezone Europe/Berlin 0 +0100 3600
Date timestamp using format() again: 1447254000 NB: Now it is back?!?!
timezone Europe/Berlin 0 +0100 3600