The xml shared extension for php
