docs: apply redirects

Those redirect, so we might as well hardcode the them.
2025-05-28 09:16:36 +02:00
parent 7538e4640f
commit ec2f2e7f33
1 changed files with 1 additions and 1 deletions
@@ -879,7 +879,7 @@ server-timing-enabled
  **In-Database** pgrst.server_timing_enabled
  =============== =================================

-  Enables the `Server-Timing <https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Server-Timing>`_ header.
+  Enables the `Server-Timing <https://developer.mozilla.org/en-US/docs/Web/HTTP/Reference/Headers/Server-Timing>`_ header.
  See :ref:`server-timing_header`.

 .. _server-unix-socket: