Florian Schaal
2015-06-27 3fa4439583c61c28737848cbce7e02b6ebadad5a
interface/web/admin/lib/module.conf.php
@@ -42,7 +42,10 @@
   'link' => 'admin/server_ip_list.php',
   'html_id'   => 'server_ip_list');
$items[] = array(   'title'  => 'Server IP mapping',
   'target'  => 'content',
   'link' => 'admin/server_ip_map_list.php',
   'html_id'   => 'server_ip_map_list');
$items[] = array(   'title'  => 'Additional PHP Versions',
   'target'  => 'content',