dedupe some referer handling

2020-03-27 19:41:34 +00:00
parent 5ea7cc5b36
commit c16e3fd939
7 changed files with 15 additions and 17 deletions
--- a/ext/bulk_actions/main.php
+++ b/ext/bulk_actions/main.php
@@ -182,10 +182,7 @@ class BulkActions extends Extension
            }

            $page->set_mode(PageMode::REDIRECT);
-            if (!isset($_SERVER['HTTP_REFERER'])) {
-                $_SERVER['HTTP_REFERER'] = make_link();
-            }
-            $page->set_redirect($_SERVER['HTTP_REFERER']);
+            $page->set_redirect(referer_or(make_link()));
        }
    }