工具-扩展程序管理器

tool-extension manager