`$isadmin` is already assigned at read_configs.php