HttpError: Convert line breaks in text message to <br>
authorTimo Tijhof <krinklemail@gmail.com>
Wed, 16 Sep 2015 17:22:35 +0000 (18:22 +0100)
committerKrinkle <krinklemail@gmail.com>
Wed, 16 Sep 2015 18:28:41 +0000 (18:28 +0000)
commitfc206806d8b19d796b769a87419e9a21ef078bd4
tree0138b70f73ff57c877aba8c8d53c6a7b2ab3ecab
parent2f0a765a9cd821ee50a492fd2e6fddd65d8681fe
HttpError: Convert line breaks in text message to <br>

Used by MediaWiki::tryNormaliseRedirect() for example with plain text
containing line breaks.

Change-Id: I5949046af4065c5536080212b96374466849b91a
includes/exception/HttpError.php