<?php
-// $Id: navi.inc.php,v 1.4 2002/12/05 05:41:43 panda Exp $
+// $Id: navi.inc.php,v 1.5 2002/12/05 06:38:58 panda Exp $
/*
Last-Update:2002-12-05 rev.3
closedir($dir);
}
// ̤ºîÀ®»þ¤Î¤¿¤á¤ÎÈÖʼ(¥×¥ì¥Ó¥å¡¼¤È¤«)
- if (array_search($current,$pages) === FALSE) { $pages[] = $current; }
+ if (in_array($current,$pages) === FALSE)
+ $pages[] = $current;
+
natcasesort($pages);
$prev = $home;
foreach ($pages as $page) {