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('

'); $response->addHTML(PMA_getHtmlForPluginsSubTabs('server_plugins.php')); $response->addHTML(PMA_getPluginTab($plugins)); $response->addHTML('

'); exit;