$passgood=0; $search=""; if (isset ($_GET['pwd'])) { if ($_GET['pwd']=="TSIL!"){ $passgood=1; $_SESSION['id']=1; } } if (isset ($_GET['s'])) { if (strlen ($_GET['s']) > 0) { $search = $_GET['s']; } } ?>
Rechercher
Cet outil permet de rechercher des mots un peu comme dans Linguee, sauf qu’il utilise la base de données des traductions que j’ai faites à l’ESTRI.
Mot entier
Respecter la casse
if (!isset($_SESSION['id'])) { ?>
Mot de passe
} else { ?>
Mot de passe OK
Pas de problème.
} ?>
# coding: utf8 if (!$passgood && !isset($_SESSION['id'])) { echo ('
Veuillez prouver que vous appartenez bien à l’ordre des princes (et princesses) de la traduction.
'); die (''); } function replEOF ($s) { return str_replace ('\n', "
", $s); } if ($search) { $file = "./seg.txt"; $files = @filesize($file); $handle = @fopen ($file, "r"); @$content = explode ("\nSEGMENTS\n", @fread ($handle, $files)); fclose ($handle); $filelist = explode ("\n", $content[0]); $segments = explode ("\n", $content[1]); unset ($content); $n = 0; echo ("
\n"); echo ("
Source
Cible
Autres
\n"); foreach ($segments as $segment) { if (isset ($_GET['b']) && $_GET['b']=="on") {$searchTerm = "/\\b($search)\\b/";} else {$searchTerm = "/($search)/";} if (isset ($_GET['i']) && $_GET['i']=="on") {$searchTerm.="U";} else {$searchTerm.="Ui";} if (preg_match ($searchTerm, $segment)) { if (preg_match ("/^ORIGINAL:<<<(.*)>>>CORRECT:<<<(.*)>>>ALTERNATIVES:<<<(.*)>>>VOC:<<<(.*)>>>EXTRA:<<<(.*)>>>UNSURE:<<<(.*)>>>ORIGIN:<<<(\d+)>>>$/U", $segment, $groups)) { $nclass = $n%2; $original = preg_replace ("$searchTerm", "
$1
", $groups[1]); $correct = preg_replace ("$searchTerm", "
$1
", $groups[2]); $unsure = preg_replace ("$searchTerm", "
$1
", $groups[6]); $alternatives = preg_replace ("$searchTerm", "
$1
", $groups[3]); $voc = $groups[4]; $extra = $groups[5]; $origin = $filelist[(int)$groups[7]]; $origin = "
$origin
"; $translation = Array(); $info = Array(); array_push ($info, $origin); if ($voc) $voc = "
$voc
"; if ($extra) $extra = "
$extra
"; if ($voc) array_push ($info, $voc); if ($extra) array_push ($info, $extra); $info = join ("
", $info); if ($correct) $correct = "
$correct
"; if ($unsure) $unsure = "
$unsure
"; if ($alternatives) $alternatives = "
$alternatives
"; if ($correct) array_push ($translation, $correct); if ($alternatives) array_push ($translation, $alternatives); if ($unsure) array_push ($translation, $unsure); $translation = join ("
", $translation); $line = "
$original
$translation
$info
"; $line = replEOF ($line); echo ($line); $n++; } } } echo ("
\n"); } ?>