*/
if(!defined('DOKU_INC')) define('DOKU_INC',realpath(dirname(__FILE__).'/../../../').'/');
require_once(DOKU_INC.'inc/init.php');
require_once(DOKU_INC.'inc/auth.php');
session_write_close();
require_once(DOKU_INC.'inc/template.php');
require_once(DOKU_INC.'inc/DifferenceEngine.php');
require_once(dirname(__FILE__).'/admin.php');
if(!auth_isadmin()) die('not you my friend!');
$id = cleanID($_REQUEST['id']);
$plugin = new admin_plugin_sync();
header('Content-Type: text/html; charset=utf-8');
?>
<?php echo $plugin->getLang('diff')?>
_diff($id);?>