plugins/SpecialSearch.php
changeset 756 e8cf18383425
parent 685 17ebe24cdf85
child 801 eb8b23f11744
--- a/plugins/SpecialSearch.php	Sat Nov 29 00:19:39 2008 -0500
+++ b/plugins/SpecialSearch.php	Sat Nov 29 00:20:57 2008 -0500
@@ -175,12 +175,12 @@
          'PAGE_TEXT' => $result['page_text'],
          'PAGE_LENGTH' => $result['page_length'],
          'RELEVANCE_SCORE' => $result['score'],
-         'RESULT_URL' => makeUrlNS($result['namespace'], $result['page_id'], false, true),
+         'RESULT_URL' => makeUrlNS($result['namespace'], $result['page_id'], false, true) . ( isset($result['url_append']) ? $result['url_append'] : '' ),
          'PAGE_LENGTH_UNIT' => $length_unit,
          'PAGE_URL' => $url,
          'PAGE_NOTE' => ( isset($result['page_note']) ? $result['page_note'] . ' ' : '' )
         ));
-      $has_content = ( $result['namespace'] == 'Special' );
+      $has_content = ( $result['namespace'] == 'Special' || !empty($result['zero_length']) );
       
       $code = $plugins->setHook('search_global_results');
       foreach ( $code as $cmd )