Make MWExceptionRenderer work with PHP7's exception changes