Re: Re: Bug #4428 Updated: Why doesn't php.ini-dist get copied to php.ini if there isn't one there?
| From: | Rasmus Lerdorf | Date: | Sun, 06 Aug 2000 21:59:26 +0000 |
| Subject: | Re: Re: Bug #4428 Updated: Why doesn't php.ini-dist get copied to php.ini if there isn't one there? | ||
| References: | 1 | Groups: | php.dev |
| Request: | Send a blank email to php-dev+get-27971@lists.php.net to get a copy of this message | ||
On Sun, 6 Aug 2000, Richard Lynch wrote:
> > ID: 4428
> > Updated by: rasmus
> > Reported By: richard@zend.com
> > Status: Closed
> > Bug Type: Installation problem
> > Assigned To:
> > Comments:
> >
> > Because it is an optional file.
> >
> > Full Bug description available at: gé
> > DDKú^ì_å¬}n“3http://bugs.php.net/?id=4428
>
> Not to be a rules-lawyer, but I thought it had been documented somewhere
> that the file is not optional under Windows...
And under Windows it is installed.
-Rasmus