More prominent mention of r82845

diff --git a/HISTORY b/HISTORY
index 3959ed5..021185f 100644 (file)
--- a/HISTORY
+++ b/HISTORY
@@ -6,7 +6,9 @@ Change notes from older releases. For current info see RELEASE-NOTES.
 MediaWiki 1.17 is shipping with a completely redesigned installer to fix
 a lot of outstanding bugs, cleanup the code quality, and make it easier to
 use. Notably, you can now run upgrades from the web without having to move
-LocalSettings.php. The specific bugs are listed below in the general notes.
+LocalSettings.php. Also, configuration script directory has been renamed 
+from config/ to mw-config/. The specific bugs are listed below in the 
+general notes.
 
 === Configuration changes in 1.17 ===
 * DatabaseFunctions.php that was needed for compatibility with pre-1.3