Merge config files (#1487311). Now we have defaults.inc.php and config.inc....

Aleksander Machniak

2013-06-14 461a30d771edd8bc6606f2c92dfde363514b93b1

 bin/installto.sh

@@ -50,7 +50,7 @@
      break;
    }
  }
  foreach (array('index.php','.htaccess','config/main.inc.php.dist','config/db.inc.php.dist','CHANGELOG','README.md','UPGRADING','LICENSE') as $file) {
  foreach (array('index.php','.htaccess','config/defaults.inc.php','CHANGELOG','README.md','UPGRADING','LICENSE') as $file) {
    if (!system("rsync -av " . INSTALL_PATH . "$file $target_dir/$file")) {
      $err = true;
      break;