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 )
{