merge master

Dominik

2014-03-20 0a95e95ddd9374ecee54e0e77e767e4decf6a8b4

 interface/web/tools/lib/interface.d/tpl_default.menu.php

@@ -1,7 +1,8 @@
<?php



$items[] = array(   'title'     => 'Default Theme',

                    'target'    => 'content',

                    'link'   => 'tools/tpl_default.php',

                    'html_id'   => 'tpl_default');

?>

<?php

// No settings yet
//$items[] = array(   'title'     => 'Default Theme',
//                    'target'  => 'content',
//                    'link' => 'tools/tpl_default.php',
//                    'html_id'   => 'tpl_default');
?>