if ( !function_exists( 'json_decode' ) ) {
$json = new Services_JSON();
$jsonDec = $json->decode( $value );
if( $assoc ) {
$jsonDec = wfObjectToArray( $jsonDec );
}
return $jsonDec;
} else {
return json_decode( $value, $assoc );
}
}
}
}
WikiSyncSetup::init();
class WikiSyncSetup {
const COOKIE_EXPIRE_TIME = 2592000; // 60 * 60 * 24 * 30; see also WikiSync.js, WikiSync.cookieExpireTime
# please never change next value in between the synchronizations
# otherwise null revisions created by ImportReporter::reportPage
# will not be skipped, thus fake synchronizations might occur
const WIKISYNC_BOT_NAME = 'WikiSyncBot';
static $remote_wiki_user = self::WIKISYNC_BOT_NAME;
static $report_null_revisions = false;
# {{{ changable in LocalSettings.php :
# debug mode (do not erase temporary XML dump files)
static $debug_mode = false;
static $remote_wiki_root = 'http://www.mediawiki.org/w';
