Url-encode file & line data in editor uri

2026-09-17 05:06:22 +00:00 · 2013-04-12 11:38:11 +01:00
parent fd64a38d0d
commit 1319f2e6ca
1 changed files with 2 additions and 2 deletions
@@ -225,8 +225,8 @@ class PrettyPageHandler extends Handler
            );
        }

-        $editor = str_replace("%line", $line, $editor);
-        $editor = str_replace("%file", $filePath, $editor);
+        $editor = str_replace("%line", rawurlencode($line), $editor);
+        $editor = str_replace("%file", rawurlencode($filePath), $editor);

        return $editor;
    }