PHP or Server Date/Time DST Issue

[visibleman]

Brains a bit frazzled so i'm assuming i'm being a little slow but the situation/issue is - i have two servers, same PHP version on both (5.2.17), same timezone (Europe/London) on both which is set correctly via php.ini, both report that we're current in DST/BST and give the current GMT difference but when outputting the time, one is running an hour slow.

Is it likely to be a simple case of system clock error, with one possibly being UTC/GMT and the other being corrected for DST/BST (unfortunately i don't have SSH access to either servers otherwise i'd check)?
Although i've always assumed if the timezone is set correctly within PHP then date functions automatically counter for any DST offset

Cheers for any help!

 

[visibleman]

phpinfo();

First thing i checked and as mentioned, all date/time variables appear to be the same.
But incase i'm going insane (i've striped sensitive data) - SERVER 1 and SERVER 2

 

[visibleman]

Did i miss anything in the phpinfo() that states that one is set to BST/GMT?

Good thinking, will try and Shell/Exec date and see what i get back.