Make MWExceptionHandler work with PHP7's exception changes