)
else: # We've got 3 lines - add new entry to the mapping
- if titles_dict.has_key(URL):
+ if URL in titles_dict:
if title != titles_dict[URL]:
raise ValueError(
"titles are not identical for URL `%s': `%s' != `%s'"
if object.isBookmark:
URL = object.href
- if titles_dict.has_key(URL):
+ if URL in titles_dict:
name = titles_dict[URL]
if object.name != name:
object.name = name