php: wsxml.php replacement