Make XML handling in PHP slightly more pleasant.