Index: b/frontends/php/include/menu.inc.php
===================================================================
--- a/frontends/php/include/menu.inc.php	2012-04-08 19:50:42.646183026 +0200
+++ b/frontends/php/include/menu.inc.php	2012-04-08 19:50:44.870173293 +0200
@@ -217,10 +217,10 @@
 					),
 				array('url'=>'locales.php',
 						'label'=>S_LOCALES
-					),
-				array('url'=>'instal.php',
-						'label'=>S_INSTALLATION,
-						'sub_pages'=>array('setup.php','warning.php')
+				#	),
+				#array('url'=>'instal.php',
+				#		'label'=>S_INSTALLATION,
+				#		'sub_pages'=>array('setup.php','warning.php')
 					)
 			)
 	),
