The xmlreader shared extension for php