$head_tag = ! empty($head_tags) ? join("\n", $head_tags) ."\n" : '';
// 1.3.x compat
// Last modification date (UNIX timestamp) of the page
$fmt = $is_read ? get_filetime($_page) + LOCALZONE : 0;
// Search words
if ($search_word_color && isset($vars['word'])) {
$body = '
' . $_msg_word . htmlsc($vars['word']) .
'
' . $hr . "\n" . $body;
// BugTrack2/106: Only variables can be passed by reference from PHP 5.0.5
// with array_splice(), array_flip()
$words = preg_split('/\s+/', $vars['word'], -1, PREG_SPLIT_NO_EMPTY);
$words = array_splice($words, 0, 10); // Max: 10 words
$words = array_flip($words);
$keys = array();
foreach ($words as $word=>$id) $keys[$word] = strlen($word);
arsort($keys, SORT_NUMERIC);
$keys = get_search_words(array_keys($keys), TRUE);
$id = 0;
foreach ($keys as $key=>$pattern) {
$s_key = htmlsc($key);
$pattern = '/' .
'