2 $auth_user = $HTTP_SERVER_VARS["PHP_AUTH_USER"];
4 if (is_file("../html/buttons/$auth_user/buttons.html.php3"))
5 include("../html/buttons/$auth_user/buttons.html.php3");
7 if (is_file("../html/buttons/default/buttons.html.php3"))
8 include("../html/buttons/default/buttons.html.php3");
12 if (is_file("../html/buttons/default/buttons.html.php3"))
13 include("../html/buttons/default/buttons.html.php3");