Make sure we always restore the error handler.
authordaniel <daniel.kinzler@wikimedia.de>
Fri, 15 Nov 2013 15:13:19 +0000 (16:13 +0100)
committerAude <aude.wiki@gmail.com>
Fri, 15 Nov 2013 16:57:34 +0000 (16:57 +0000)
commit40f6d8546c0d7b0a7bff80dfd40acb6d26d353e7
tree026d4942eeff0f668a0c0792ac3558f662c95cf9
parent146ea32031dba266831d0f7820f2bc8214f34a58
Make sure we always restore the error handler.

Change-Id: I27f5d11ea27f783eda71c2bfdba7e70695f5d53c
includes/Hooks.php
includes/UserMailer.php
includes/db/DatabaseMysqlBase.php
includes/db/DatabasePostgres.php
includes/installer/WebInstaller.php