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';