The simplexml shared extension for php