Marius Cramer
2013-10-14 992797f73c92b413a7fecff02c27c61b7db55b43
install/dist/lib/gentoo.lib.php
@@ -725,6 +725,7 @@
      $content = str_replace('{language}', $conf['language'], $content);
      $content = str_replace('{timezone}', $conf['timezone'], $content);
      $content = str_replace('{theme}', $conf['theme'], $content);
      $content = str_replace('{language_file_import_enabled}', ($conf['language_file_import_enabled'] == true)?'true':'false', $content);
      
      $this->write_config_file("$install_dir/interface/lib/$configfile", $content);