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 22:18:37 +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-27975@lists.php.net to get a copy of this message | ||
> At 00:59 07/08/2000, Rasmus Lerdorf wrote:
> >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:
> > > > http://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.
>
> Under Windows there's no installation program... But then, it's no longer
> mandatory anyway.
True, but it was always explicitly stated in the Windows install docs that
this file needed to be copied somewhere.
-Rasmus