[Bug 457056] PHP5: ext/xml is broken due to libxml2 2.7.x changes