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