$editor = requireRank(3, FALSE);
$id2vals = "{";
# for JS
$dependencies = "{";
$inflection = !(safe_get("no_inflections", $_GET) === "true");
$start = intval(safe_get("start", $_GET));
$limit = intval(safe_get("limit", $_GET));
if ($limit <= 0) {
$limit = 5;
}
if ($limit > 50) {
$limit = 50;
}
if (count($_GET)) {
$max_size = NULL;
$list = search_GET($limit, $max_size);
foreach ($list as $w) {
$id = $w->id();
?>
<hr><section id="word<?php
echo $id;
?>
"><?php
$id2val = "";
$dependency = "";
display_word_info($w, $editor);
display_definitions($w, $editor);
if ($inflection) {
display_inflection($w);
}
if ($editor) {
<?php
require_once '/var/www/config.php';
sro('/Includes/mysql.php');
sro('/Includes/session.php');
sro('/Includes/functions.php');
sro('/PHP5/lib/PHPLang/make_example.php');
sro('/PHP5/lib/PHPLang/display.php');
sro('/PHP5/dictionary/search.php');
$_start_t = microtime(true);
$size = NULL;
$list = search_GET(1000, $size);
$result = [];
foreach ($list as $w) {
$result[$w->id()] = format_word($w->name());
}
$result["sorted"] = array_keys($result);
$result["changed"] = [];
foreach ($list as $w) {
$result["changed"][$w->id()] = $w->last_changed();
}
if ($size !== NULL) {
$result["max_length"] = $size;
} else {
$result["max_length"] = count($result["sorted"]);
}
echo json_encode($result);
$time = microtime(true) - $_start_t;
$time = round($time, 4);
#error_log($time);
