<!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$matchesPREG_OFFSET_CAPTURE) == 0)
        continue;
    foreach (
$matches[0] as $match) {
        
$start $match[1];
        
preg_match('/<!-- content -->/'$contents$endmatchPREG_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($result05);
foreach (
$result as $pair) {
    echo 
$pair[1];
}

?>

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

</body>
</html>