The wddx shared extension for php
