preserve-section.patch

   1 --- pageredirect/action.php     2012-06-04 15:32:26.364418325 +0300
   2 +++ pageredirect/action.php     2012-06-04 15:32:49.548728621 +0300
   3 @@ -63,9 +63,17 @@
   4                                 session_start();
   5                                 $_SESSION[DOKU_COOKIE]['redirect'] = $ID;
   6                         }
   7 -
   8 +
   9 +                       // preserve #section from $page
  10 +                       list($page, $section) = explode('#', $page, 2);
  11 +                       if (isset($section)) {
  12 +                               $section = '#' . $section;
  13 +                       } else {
  14 +                               $section = '';
  15 +                       }
  16 +
  17                         // redirect
  18 -                       header("Location: ".wl($page, Array('redirect' => $redirect), TRUE, '&'));
  19 +                       header("Location: ".wl($page, Array('redirect' => $redirect), TRUE, '&'). $section);
  20                         exit();
  21                 }
  22         }