DevTools 新功能:命令菜单快捷键和 HTML 格式化