diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2007-01-11 19:06:07 +0000 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2007-01-11 19:06:07 +0000 |
| commit | a58285fd06c8113c45377c655dd43cef6337e815 (patch) | |
| tree | dfe31d3d12652352fe44890b4811eda0728faefb /includes/Exception.php | |
| parent | 20194986f6638233732ba1fc3e838f117d3cc9ea (diff) | |
Aktualisierung auf MediaWiki 1.9.0
Diffstat (limited to 'includes/Exception.php')
| -rw-r--r-- | includes/Exception.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/Exception.php b/includes/Exception.php index 56f18d5a..ac9c8a21 100644 --- a/includes/Exception.php +++ b/includes/Exception.php @@ -165,7 +165,7 @@ function wfInstallExceptionHandler() { * Report an exception to the user */ function wfReportException( Exception $e ) { - if ( is_a( $e, 'MWException' ) ) { + if ( $e instanceof MWException ) { try { $e->report(); } catch ( Exception $e2 ) { |