Revision 4e477bf3ddd83c203720b813755744618b67066b

Committed on 19/12/2013 3:26 am by Kore Nordmann <mail@kore-nordmann.de> [GitHub Diff]

Set DOMDocument save() options for a hopefully consistent result across machines