/**
* Alternative SQL editing window
*
- * $Id: history.php,v 1.2 2008/01/10 17:41:34 xzilla Exp $
+ * $Id: history.php,v 1.3 2008/01/10 19:37:07 xzilla Exp $
*/
// Include application functions
$action = (isset($_REQUEST['action'])) ? $_REQUEST['action'] : '';
function doDefault() {
- global $data, $misc, $lang, $conf;
+ global $misc, $lang;
$onchange = "onchange=\"location.href='history.php?server=' + encodeURI(server.options[server.selectedIndex].value) + '&database=' + encodeURI(database.options[database.selectedIndex].value) + '&'\"";
/**
* Alternative SQL editing window
*
- * $Id: sqledit.php,v 1.39 2008/01/10 18:38:52 soranzo Exp $
+ * $Id: sqledit.php,v 1.40 2008/01/10 19:37:07 xzilla Exp $
*/
// Include application functions
* Private function to display server and list of databases
*/
function _printConnection() {
- global $data, $conf, $action, $misc;
+ global $data, $action, $misc;
// The javascript action on the select box reloads the
// popup whenever the server or database is changed.
*/
function doDefault() {
global $data, $misc;
- global $lang, $conf;
+ global $lang;
if (!isset($_REQUEST['query'])) $_REQUEST['query'] = '';