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 <http://www.php.net/>
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
To contact the list administrators, e-mail: [EMAIL PROTECTED]