Fixing undefined variable in domain_mapping.php