+
+ $lang = $_SESSION['language'];
+ get_text::set_language($lang->code, $lang->encoding);
+ get_text::add_domain($lang->code, $path_to_root . "/lang");
+
+ // Necessary for ajax calls. Due to bug in php 4.3.10 for this
+ // version set globally in php.ini
+ ini_set('default_charset', $lang->encoding);
+
+ if (isset($_SESSION['App']) && $changed)
+ $_SESSION['App']->init(); // refresh menu