Make menu_entries_push_list static