Rename menu_entries_push_list to push_list