* Moved to Feedback forum *

I'm not sure it's a good idea to mix the official PHP documentation with user-contributed code, but it really would be nice to have both ideas implemented separately.

__________________
salathe@php.net