Posted by Brian Kendig on 07/10/07 20:41

On Jul 10, 3:15 pm, ZeldorBlat <zeldorb...@gmail.com> wrote:
> On Jul 10, 1:16 pm, Brian Kendig <b...@enchanter.net> wrote:
> > Is there a direct way to convert times from this format into
> > timestamps, other than my having to whip up a simple parsing routine?
>
> Not really -- other than turning it into a format that is recognized.

Thanks for the tip - that's the approach I decided to take to avoid
this whole problem.

> You should have used a wrapper everywhere to begin with. Then this
> change would be trivial.

Well, I don't have THAT much foresight. I don't want to go using
wrappers for every built-in PHP function on the off chance that
someday I might want to extend their functionality. :)

[Back to original message]