# HG changeset patch
# User Dan
# Date 1243826800 14400
# Node ID 3e3118285700e7241559e4454167ed4cb5ad2a36
# Parent  d0d3da40c39115700dbaa89f5b761a1426cb6e77
Minor plugin compatibility fix to Special:Search

diff -r d0d3da40c391 -r 3e3118285700 plugins/SpecialSearch.php
--- a/plugins/SpecialSearch.php	Sun May 31 23:26:24 2009 -0400
+++ b/plugins/SpecialSearch.php	Sun May 31 23:26:40 2009 -0400
@@ -185,6 +185,8 @@
     
     $per_page = 10;
     $start = ( isset($_GET['start']) ? intval($_GET['start']) : 0 );
+    // for plugin compatibility:
+    $offset =& $start;
     $start_string = $start + 1;
     $per_string = $start_string + $per_page - 1;
     $num_results = count($results);