'; if (preg_match("/$re/", $page)) return $page; $url = _VERSIONS_SERVEUR . $dir . '/' . _VERSIONS_LISTE; $a = file_exists($nom) ? filemtime($nom) : ''; include_spip('inc/distant'); $res = recuperer_lapage($url, false, 'GET', _COPIE_LOCALE_MAX_SIZE, '',false, $a); // Si rien de neuf (ou inaccessible), garder l'ancienne if ($res) list(, $page) = $res; // Placer l'indicateur de fraicheur $page = preg_replace('/^/', $re, $page); sous_repertoire(_DIR_CACHE_XML); ecrire_fichier($nom, $page); return $page; } ?>