renaming variables in class "database_support.php"