* @license http://www.gnu.org/licenses/gpl.html GNU GPL 2.0 * @version $Id: menu.inc.php 11650 2008-10-14 10:31:07Z crackpl $ */ if (!defined('PHPMYADMIN')) { exit; } $separator = PMA_get_arg_separator('html'); ?>