At 00:26 10/7/2001, August Zajonc wrote:
>You see this happen though all the time with other software.
>Media players don't need to have 10 ways to decode wav files, but they do.

There's a very big difference here.  It does *exactly* the same 
thing.  Unlike codecs, which are all different.  Here, it takes the same 
text, and translates it to the same tokens, just using a different regexp 
tool which yields better performance and is a bit more portable.  Using 
your metaphor, it'd be like having several uncompressed WAV players (as 
opposed to several MP3 players, which makes sense), one of them being 
faster than the others.


PHP Development Mailing List <>
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]

Reply via email to