Re: highlight_file modification

From: Date: Wed, 11 Sep 2002 22:19:18 +0000
Subject: Re: highlight_file modification
References: 1  Groups: php.dev 
Request: Send a blank email to php-dev+get-88213@lists.php.net to get a copy of this message
devon@sitetronics.com wrote: > Right now I'm going through all this mess and trying to get it so that > it's actually an XHTML 1.1 compliant output. Right now, there's no > guarantee that it's even HTML [insert version here] compliant. > > All the ini configuration is set. I will set the ini default to the > old value. I assume people know how to use ini_set(); and will be > able to change the behavior of this function that way if they are > being hosted somewhere they have no control over the ini. Did I miss something here? I don't remember us reaching agreement about adding another config option. Edin

« previous php.dev (#88213) next »