<!DOCTYPE html >
<html>
<head>
<title>Peter Salvi's Archive (search)</title>
<link rel="stylesheet" type="text/css" href="search.css" media="all" />
<meta http-equiv="Content-Type" content="text/html;charset=utf-8" />
</head>
<body>
<h1>Search Results</h1>
<h3><a href="index.html">Home</a> /
<a href="snippet.html">Snippets</a> /
<a href="text.html">Texts</a></h3>

<?php

$label = $_GET["label"];
if ($label == "source") {
    ob_clean();
    show_source(__FILE__);
    exit();
}
if ($label == null)
    $label = "favorites";
$files = array('snippet.html', 'text.html');
$result = array();
foreach ($files as $file) {
    $contents = file_get_contents($file);
    $pattern = "/<!-- labels:.* " . ($label == "latest" ? "/" : "$label /");
    if (preg_match_all($pattern, $contents, $matches, PREG_OFFSET_CAPTURE) == 0)
        continue;
    foreach ($matches[0] as $match) {
        $start = $match[1];
        preg_match('/<!-- content -->/', $contents, $endmatch, PREG_OFFSET_CAPTURE, $start);
        $end = $endmatch[0][1];
        $article = substr($contents, $start, $end - $start);
        preg_match('/Last update: (...........)/', $article, $datematch);
        $date = $datematch[1];
        array_push($result, array($date, $article));
    }
}
function newerFirst($a, $b) {
    return strcmp($b[0], $a[0]);
}
usort($result, 'newerFirst');
if ($label == "latest")
    $result = array_slice($result, 0, 5);
foreach ($result as $pair) {
    echo $pair[1];
}

?>

<h3>Copyright (C) 2007-2025 Peter Salvi</h3>

</body>
</html>