[Mediawiki-l] Time stamp variance??

[John W. Foster]

I was running the php runjobs.php to refresh the links as Ive been
editing heavily. I noticed that as it completed each check it time
stamped the entry in the terminal screen. It was 7:40:13 A.M. actual
time but the time stamp read 13:40:13  Anyone know what is causing this.
I don't think it causes an issue but just seems strange.
Thanks!
frosty