PHP's DOMDocument with just a tiny extra on top