Esempio n. 1
0
function Generate_Picker($channel)
{
    $html = "<div class=filter>\n";
    $html .= "  <b>Filter:</b><br>\n";
    $html .= "  <form>\n";
    $StartDate = date("m/d/Y");
    if (isset($_GET["start"])) {
        $StartDate = $_GET["start"];
    }
    $FinishDate = date("m/d/Y");
    if (isset($_GET["end"])) {
        $FinishDate = $_GET["end"];
    }
    $picker = new HtmlTable();
    $picker->InsertRow(array("Start date", "<input id='datepicker' value=\"{$StartDate}\" name='start'>"));
    $picker->BorderSize = 0;
    $picker->InsertRow(array("End date", "<input id='datepicker2' value=\"{$FinishDate}\" name='end'>"));
    $show = "";
    if (isset($_GET['data'])) {
        $show = "checked=on ";
    }
    $checked = "";
    if (isset($_GET['wiki'])) {
        $checked = "checked=on ";
    }
    $picker->InsertRow(array("", "<label><input " . $checked . "type='checkbox' value='true' name='wiki'>Convert to wiki text</label>"));
    $picker->InsertRow(array("", "<label><input " . $show . "type='checkbox' value='true' name='data'>Show part / join / quit / kick / nick</label>"));
    $html .= HtmlPage::IndentText($picker->ToHtml(), 4);
    $html .= "<input type='submit' value='Display'><input type='hidden' name='display' value=\"{$channel}\"></form>\n</div>\n";
    return $html;
}
Esempio n. 2
0
// Header
$header = "Wikimedia IRC logs browser";
if ($selected_channel !== null) {
    $header .= " - " . htmlspecialchars($selected_channel);
}
$html->AppendHtmlLine("<h1 class=header>{$header}</h1>");
// Create a layout for interface, we use just a simple html table with no border that contains all stuff
$layout = new HtmlTable();
if ($selected_channel === null) {
    $page = "<p>This is a Wikimedia IRC logs browser, please pick a channel from menu on left side.</p>\n";
    $page .= "<p>This page is open source, if you don't like anything on it, please fix it instead of complaining!</p>\n";
} else {
    $page = Generate_Picker($selected_channel);
    if ($displaying_logs) {
        $page .= "<hr>\n";
        $page .= FetchLogs($selected_channel);
    }
}
$layout->InsertRow(array(HtmlPage::IndentText(Generate_Menu(), 6), HtmlPage::IndentText($page, 6)));
$layout->BorderSize = 0;
// We need to style the layout a bit as well
$layout->Format = "class=layout";
// load some extra javascript into page header that we need to use for picker
$html->InternalJs[] = "\$(function() {\n    \$( \"#datepicker\" ).datepicker();\n});";
$html->InternalJs[] = "\$(function() {\n    \$( \"#datepicker2\" ).datepicker();\n});";
$html->AppendHtml($layout->ToHtml());
$html->AppendHtml("<p>This page is generated from SQL logs, you can also download static txt files from <a href=http://wm-bot.wmflabs.org/logs>here</a></p>");
$html->UseTidy = true;
echo $html->ToHtml();
$et = microtime(true) - $exec;
echo "<!-- finished in {$et} seconds -->";