diff -r 23f89f989922 -r c660cf54c045 plugins/SpecialSearch.php --- a/plugins/SpecialSearch.php Mon Nov 19 11:33:49 2012 -0500 +++ b/plugins/SpecialSearch.php Mon Nov 19 11:35:17 2012 -0500 @@ -137,7 +137,18 @@ $result['page_text'] = str_replace(array('', ''), array('', ''), $result['page_text']); if ( !empty($result['page_text']) ) $result['page_text'] .= '
'; - $result['page_name'] = str_replace(array('', ''), array('', ''), $result['page_name']); + + // localize the title... if it comes back from the language code, replace the title, losing highlighting. + // otherwise, keep the highlighted title from the search backend + if ( ($l10n_title = $lang->get(strip_tags($result['page_name']))) !== strip_tags($result['page_name']) ) + { + $result['page_name'] = $l10n_title; + } + else + { + $result['page_name'] = str_replace(array('', ''), array('', ''), $result['page_name']); + } + $result['url_highlight'] = str_replace(array('', ''), array('', ''), $result['url_highlight']); if ( $result['page_length'] >= 1048576 ) {