Disabled the "Server Type" drop-down menu under Server Config > Web.

ftimme

2011-09-20 d3dd34bb7fdaee52eef5184ad8b5d09e3d9ec5be

 interface/lib/app.inc.php

@@ -162,6 +162,7 @@

   /** Translates strings in current language */
   public function lng($text) {
      global $conf;
      if($this->_language_inc != 1) {
         $language = (isset($_SESSION['s']['language']))?$_SESSION['s']['language']:$conf['language'];
         //* loading global Wordbook