require($INC);
}
// Add description as navigation point
-ADD_DESCR("admin", basename(__FILE__));
+ADD_DESCR("admin", __FILE__);
if (isset($_POST['ok'])) {
// Save configuration
switch ($_CONFIG['admin_menu'])
{
case "NEW":
- define('__ADMIN_MENU_NEW', ' checked');
+ define('__ADMIN_MENU_NEW', " checked=\"checked\"");
define('__ADMIN_MENU_OLD' , "");
break;
case "OLD":
define('__ADMIN_MENU_NEW', "");
- define('__ADMIN_MENU_OLD' , ' checked');
+ define('__ADMIN_MENU_OLD' , " checked=\"checked\"");
break;
}