This image shows the Export WSDL option being selected from the menu in Application Explorer.