} else if (! $is_home &&
! preg_match('/^' . preg_quote($home, '/') . '/', $current)) {
return '#navi(' . htmlspecialchars($home) .
'): Not a child page like: ' .
htmlspecialchars($home . '/' . basename($current)) .
} else if (! $is_home &&
! preg_match('/^' . preg_quote($home, '/') . '/', $current)) {
return '#navi(' . htmlspecialchars($home) .
'): Not a child page like: ' .
htmlspecialchars($home . '/' . basename($current)) .