index caaa3a0c137d2be62b6ad30767a358f232e6a62a..e6bbdbde2b69c765d47a1bee636ccff4dee473d1 100644 (file)
@require_once ("../include/php_setup.inc");
@require_once ("functions.inc");
+session_cache_limiter("private");
session::start();
session::global_set('errorsAlreadyPosted',array());
continue;
}
if (mb_stristr($info['name'], $search) !== false) {
- $res.= "<li>".$pathMapping[$dn].($info['description']==''?"":"<span class='informal'> [".$info['description']."]</span>")."</li>";
+ $res.= "<li>".mark($search, $pathMapping[$dn]).($info['description']==''?"":"<span class='informal'> [".mark($search, $info['description'])."]</span>")."</li>";
continue;
}
if (mb_stristr($info['description'], $search) !== false) {
- $res.= "<li>".$pathMapping[$dn].($info['description']==''?"":"<span class='informal'> [".$info['description']."]</span>")."</li>";
+ $res.= "<li>".mark($search, $pathMapping[$dn]).($info['description']==''?"":"<span class='informal'> [".mark($search, $info['description'])."]</span>")."</li>";
continue;
}
if (mb_stristr($pathMapping[$dn], $search) !== false) {
- $res.= "<li>".$pathMapping[$dn].($info['description']==''?"":"<span class='informal'> [".$info['description']."]</span>")."</li>";
+ $res.= "<li>".mark($search, $pathMapping[$dn]).($info['description']==''?"":"<span class='informal'> [".mark($search, $info['description'])."]</span>")."</li>";
continue;
}
}