def menu(bot, update): uid = update.effective_user.id is_admin = uid in settings.ADMINS buttons = _admin_buttons(send_botlist_button=is_admin, logs_button=is_admin) txt = "🛃 Administration menu. Current revision: {}".format( Revision.get_instance().nr) bot.formatter.send_message(uid, txt, reply_markup=ReplyKeyboardMarkup( buttons, resize_keyboard=True)) return BotStates.ADMIN_MENU