Better fix for reloading database.php when re-clicking on the database name in the...
authorsoranzo <soranzo>
Tue, 16 Dec 2003 17:17:43 +0000 (17:17 +0000)
committersoranzo <soranzo>
Tue, 16 Dec 2003 17:17:43 +0000 (17:17 +0000)
commita297ddfe4becd8fa3cad635d453d9f3a1aae7ef7
tree380864f3a88e066f2619b9c4b2026755938f64c3
parent52eb214d82295376f2c56411028d69c45d82dffc
Better fix for reloading database.php when re-clicking on the database name in the left menu. Consistent positioning of SID
browser.php