On Sat, Sep 07, 2002 at 12:00:35PM +0100, Wez Furlong wrote :
> On 09/07/02, "Markus Fischer" <[EMAIL PROTECTED]> wrote:
> > +1
> > Afaik this was already brought up.
>
> I'm +1 on the principle.
>
> > Maybe some ini entry like
> > php.user_agent (or whatever fits best)
>
> +1 on this, but also note that the not-yet-documented-enough
> stream context is intended to hold this kind of setting also,
> so that the string can be set differently for each stream, if
> desired.
Seems like a good idea, too. So we have the "initial for all
streams value" coming from php.user_agent and it can be
changed as a per stream option too.
--
GnuPG Key: http://guru.josefine.at/~mfischer/C2272BD0.asc
"In short, the window belongs to me.
The document belongs to the web site designer."
- Poster on opera.wishlist
--
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, visit: http://www.php.net/unsub.php
