fix: add missing pgrst.server_timing_enabled

2023-12-12 10:57:47 -05:00
parent 802131aa96
commit 9f252678a4
1 changed files with 1 additions and 1 deletions
@@ -832,7 +832,7 @@ server-timing-enabled
  **Default**     False
  **Reloadable**  Y
  **Environment** PGRST_SERVER_TIMING_ENABLED
-  **In-Database** `n/a`
+  **In-Database** pgrst.server_timing_enabled
  =============== =================================

  Enables the `Server-Timing <https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Server-Timing>`_ header.