bug #15602: use echo for error messages if STDERR is undefined
authorDaniel Kinzler <daniel@users.mediawiki.org>
Mon, 15 Sep 2008 09:53:52 +0000 (09:53 +0000)
committerDaniel Kinzler <daniel@users.mediawiki.org>
Mon, 15 Sep 2008 09:53:52 +0000 (09:53 +0000)
commit43548021dec7e07fd9a9b01d649d565a48f5ea73
treef8ca88219f246e9fba8aea64d92cede9ce598fbd
parent9dc068e43ef0255ec254af9cbbbb2c1b2d2bb07f
bug #15602: use echo for error messages if STDERR is undefined
includes/Exception.php