forum: $PAGE->set_url on forum view page.

diff --git a/mod/forum/view.php b/mod/forum/view.php
index d4f4dc898161df27ddedf5fb747be83004f120d8..64b56207c55fa7a08efae69b6ff7d51bc817e39c 100644 (file)
--- a/mod/forum/view.php
+++ b/mod/forum/view.php
@@ -13,6 +13,19 @@
     $page        = optional_param('page', 0, PARAM_INT);     // which page to show
     $search      = optional_param('search', '');             // search string
 
+    $params = array();
+    if ($id) {
+        $params['id'] = $id;
+    } else {
+        $params['f'] = $f;
+    }
+    if ($page) {
+        $params['page'] = $page;
+    }
+    if ($search) {
+        $params['search'] = $search;
+    }
+    $PAGE->set_url('mod/forum/view.php', $params);
 
     $buttontext = '';