Yes, WSDL is in this file (php_soap_extension.rst), I guess it can be done in the same PR, right?