[checkmk-commits] Fixed wrong type declaration of MKUserError() message