Fixed bug #7445: Malformed translated locallang causes PHP crash (thanks to Francois...