doMaintenance: Try to print errors to stderr
authorMarius Hoch <hoo@online.de>
Tue, 16 Jul 2019 11:15:57 +0000 (13:15 +0200)
committerMarius Hoch <hoo@online.de>
Tue, 16 Jul 2019 11:15:57 +0000 (13:15 +0200)
commit3f7fa975e03add4f6d57a98e54fcef8c49712676
treecf962bd0c0f1a818c7597cbdad5fc0f254dbc891
parent7388b7b62b842ef1e80faa677656a26a90803ece
doMaintenance: Try to print errors to stderr

Don't mix them in with stdout (which might be redirected,
like dump output, making the errors hard to discover).

Change-Id: Ibed8c0e8dde3e44de60bf32abd3fc5ce5d29e1ba
maintenance/doMaintenance.php