function formatResult($skin, $result)
{
global $wgLang, $wgContLang;
$title = Title::makeTitle($result->ns, $result->title);
$title_link = $skin->makeKnownLinkObj($title);
$user = User::newFromName($result->user_name);
if ($user instanceof User) {
$user_weight = EditConflict::getGroupWeight($user);
} else {
$user_weight = -1;
}
if ($user instanceof User) {
$user_page = $user->getUserPage();
$user_page_link = $skin->makeKnownLinkObj($user_page);
} else {
$user_page_link = htmlspecialchars($result->user_name);
}
$start_time = $wgLang->timeAndDate($result->start_time, true);
$editing_time = $this->getEditingTime($result->start_time);
$action = 'action=delete&id=' . $result->edit_id;
if ($this->order_key != EC_DEFAULT_ORDER_KEY) {
$action .= '&order=' . $this->order_key;
}
$session_close_link = $skin->makeKnownLinkObj(SpecialPage::getTitleFor('CurrentEdits'), '※', $action, '', '', 'title="Close this session."');
return wfMsg('ec_list_order_' . $this->order_key, $title_link, $user_page_link, htmlspecialchars($user_weight), htmlspecialchars($editing_time), $session_close_link);
}
static function startup()
{
global $wgScriptPath;
foreach (array('wgUseAjax') as $globalVar) {
global ${$globalVar};
if (!${$globalVar}) {
die("This extension requires \${$globalVar} = true; in LocalSettings.php. Either disable the extension or change LocalSettings.php, accordingly.\n");
}
}
// static properties initialization (various paths)
self::$ExtDir = str_replace("\\", "/", dirname(__FILE__));
// filesys path with windows path fix
$dir_parts = explode('/', self::$ExtDir);
$top_dir = array_pop($dir_parts);
# currently two separate editings of the same page by the same user are considered a single edit
self::$ScriptPath = $wgScriptPath . '/extensions' . ($top_dir == 'extensions' ? '' : '/' . $top_dir);
// apache virtual path
self::$alwaysEditClickEvent = false;
self::$onLoadScript = '';
self::$groupWeights = array('*' => 1, 'user' => 2, 'bureaucrat' => 3, 'sysop' => 4);
}
