def record_user_edited_an_exploration(user_id):
 user_settings = get_user_settings(user_id)
 if user_settings:
  user_settings.last_edited_an_exploration = datetime.datetime.utcnow()
  _save_user_settings(user_settings)

def record_user_edited_an_exploration ( user_id ) : user_settings = get_user_settings ( user_id ) if user_settings : user_settings . last_edited_an_exploration = datetime . datetime . utcnow ( ) _save_user_settings ( user_settings )
updates last_edited_an_exploration to the current datetime for the user with given user_id .