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/WikiError.php | |
| parent | 20194986f6638233732ba1fc3e838f117d3cc9ea (diff) | |
Aktualisierung auf MediaWiki 1.9.0
Diffstat (limited to 'includes/WikiError.php')
| -rw-r--r-- | includes/WikiError.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/WikiError.php b/includes/WikiError.php index 1b2c03bf..029184d4 100644 --- a/includes/WikiError.php +++ b/includes/WikiError.php @@ -59,8 +59,8 @@ class WikiError { * @return bool * @static */ - function isError( &$object ) { - return is_a( $object, 'WikiError' ); + public static function isError( $object ) { + return $object instanceof WikiError; } } |