in user_details.php3 there is this js code:
sql += " ON " + db + "." + table
and to support special characters in db names, I would like to call the php function db_name() with
the js db variable. How can I switch to php into the js code?