- php.ini-dev/prod

diff --git a/win32/install.txt b/win32/install.txt
index c88fc2cf70c21cb7abb7b8eb374f01d305a589dd..e5b014ca03918a65e680d6258443772a52ef10bc 100644 (file)
--- a/win32/install.txt
+++ b/win32/install.txt
@@ -257,9 +257,9 @@ c:\php
    |
    |-..
    |
-   |-php.ini-dist         -- default php.ini settings
+   |-php.ini-development  -- development php.ini settings
    |
-   |-php.ini-recommended  -- recommended php.ini settings
+   |-php.ini-production   -- recommended php.ini settings for production
    |
    |-php4ts.dll           -- core PHP DLL
    |
@@ -309,9 +309,9 @@ c:\php
    |
    |-..
    |
-   |-php.ini-dist         -- default php.ini settings
+   |-php.ini-development  -- development php.ini settings
    |
-   |-php.ini-recommended  -- recommended php.ini settings
+   |-php.ini-production   -- recommended php.ini settings for production
    |
    |-php5activescript.dll
    |
@@ -380,10 +380,10 @@ c:\php
 
    The next step is to set up a valid configuration file for PHP,
    php.ini. There are two ini files distributed in the zip file,
-   php.ini-dist and php.ini-recommended. We advise you to use
-   php.ini-recommended, because we optimized the default settings in this
+   php.ini-development and php.ini-production. We advise you to use
+   php.ini-production, because we optimized the default settings in this
    file for performance, and security. Read this well documented file
-   carefully because it has changes from php.ini-dist that will
+   carefully because it has changes from php.ini-development that will
    drastically affect your setup. Some examples are display_errors being
    off and magic_quotes_gpc being off. In addition to reading these,
    study the ini settings and set every element manually yourself. If you