getHeader(); $scripts = $header->getScripts(); $scripts->addFile('jquery/jquery.tablesorter.js'); $scripts->addFile('server_plugins.js'); /** * Does the common work */ require 'libraries/server_common.inc.php'; require 'libraries/server_plugins.lib.php'; $plugins = PMA_getServerPlugins(); /** * Displays the page */ $response->addHTML('