resourceloader: Include exception log id in error message
authorTimo Tijhof <krinklemail@gmail.com>
Wed, 23 Sep 2015 16:36:10 +0000 (17:36 +0100)
committerOri.livneh <ori@wikimedia.org>
Fri, 25 Sep 2015 23:40:03 +0000 (23:40 +0000)
commit9dcc8c872b0455be7324de479f8723c230aff6e2
tree794b026d21c5fcf6c8a1f9c6fc5b29ad18eda61c
parenta607f11f9446ae06e067334877c6a47d9bce1bcb
resourceloader: Include exception log id in error message

This changes the current:

> Internal error.

To be:

> [89466ede] 2015-09-23 16:40: Fatal exception of type Less_Exception

This matches how exceptions are reported on HTML pages by MediaWiki
(via MWException::getHTML in OutputPage).

The IDs are okay to be public and exposed on HTML pages even when
$wgShowExceptionDetails is disabled.

Follows-up d478ffde100. Ref T110659.

Change-Id: I501eaa629161184ba89d44e53cdac20b39cb0903
includes/exception/MWExceptionHandler.php
includes/resourceloader/ResourceLoader.php