echo "{$page_num_string}\r\n";
            foreach ($round_suggestions_w_freq[$round] as $word => $freq) {
                echo "{$word} - {$freq} - " . $round_suggestions_w_occurrences[$round][$word] . "\r\n";
            }
            echo "\r\n";
        }
    }
    // we're done here, exit
    exit;
} elseif ($format == "html") {
    // fall-through
} else {
    assert(false);
}
output_header($title, NO_STATSBAR);
echo_page_header($title, $projectid);
// how many instances (ie: frequency sections) are there?
$instances = count($rounds) + 1;
// what are the cutoff options?
$cutoffOptions = array(1, 2, 3, 4, 5, 10, 25, 50);
// what is the initial cutoff frequency?
$initialFreq = getInitialCutoff($freqCutoff, $cutoffOptions, $all_suggestions_w_freq);
// echo page support text, like JS and stylesheets
echo_cutoff_script($cutoffOptions, $instances);
echo_word_freq_style();
echo "<p>{$page_text}</p>";
echo_page_instruction_text("good", $format);
echo_any_warnings_errors($messages);
echo "<form action='show_good_word_suggestions.php' method='get'>";
echo "<p>{$time_cutoff_text} ";
echo _("This setting also controls the words that will be included in the downloaded file.");
Esempio n. 2
0
/*
 * Редактор меню
 */
//получаем действие, с которым вызвана страница
if (isset($_SESSION['action'])) {
    $actionmenu = $_SESSION['action'];
} else {
    $actionmenu = '';
}
//получаем id меню, для которого вызвана страница
if (isset($_SESSION['idmenu'])) {
    $idmenu = $_SESSION['idmenu'];
} else {
    $idmenu = '';
}
echo_page_header();
$_SESSION['page'] = $page;
try {
    $dbh = new PDO("{$db_type}:host={$db_host};port={$db_port};dbname={$db_name}", $db_user, $db_pass, $db_options);
    $dbh->exec("set names utf8");
} catch (PDOException $e) {
    echo "\nPDO::errorInfo():\n";
    print $e->getMessage();
}
?>


<?php 
//если действие не указано, выводим список меню
if ($actionmenu == '') {
    ?>