$GLOBALS['lang']); if (isset($GLOBALS['db'])) { $params['db'] = $GLOBALS['db']; } $response = PMA_Response::getInstance(); $response->getFooter()->setMinimal(); $header = $response->getHeader(); $header->setBodyId('pmd_body'); $scripts = $header->getScripts(); $scripts->addFile('pmd/ajax.js'); $scripts->addFile('pmd/history.js'); $scripts->addFile('pmd/move.js'); $scripts->addFile('pmd/iecanvas.js', true); $scripts->addFile('pmd/init.js'); $scripts->addFile('jquery/jquery.fullscreen.js'); require 'libraries/db_common.inc.php'; require 'libraries/db_info.inc.php'; // Embed some data into HTML, later it will be read // by pmd/init.js and converted to JS variables. echo '