From d9022f63880ce039446fba8364f68e656b7bf4cb Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 3 May 2012 13:01:35 +0200 Subject: Update to MediaWiki 1.19.0 --- includes/json/Services_JSON.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'includes/json/Services_JSON.php') diff --git a/includes/json/Services_JSON.php b/includes/json/Services_JSON.php index 29cc3617..b2090dce 100644 --- a/includes/json/Services_JSON.php +++ b/includes/json/Services_JSON.php @@ -136,7 +136,7 @@ class Services_JSON { $this->use = $use; } - + private static $mHavePear = null; /** * Returns cached result of class_exists('pear'), to avoid calling AutoLoader numerous times @@ -872,7 +872,7 @@ if (class_exists('PEAR_Error')) { { $this->message = $message; } - + function __toString() { return $this->message; -- cgit v1.2.3-54-g00ecf