introducing server-timing-header config parameter (#700)

docs/references/configuration.rst

@@ -781,7 +781,7 @@ server-cors-allowed-origins
 
   =============== ===================================
   **Type**        String
-  **Default**     `n/a` 
+  **Default**     `n/a`
   **Reloadable**  N
   **Environment** PGRST_SERVER_CORS_ALLOWED_ORIGINS
   **In-Database** `pgrst.server_cors_allowed_origins`
@@ -842,6 +842,22 @@ server-trace-header
 
   The header name used to trace HTTP requests. See :ref:`trace_header`.
 
+.. _server-timing-enabled:
+
+server-timing-enabled
+---------------------
+
+  =============== =================================
+  **Type**        Boolean
+  **Default**     False
+  **Reloadable**  Y
+  **Environment** PGRST_SERVER_TIMING_ENABLED
+  **In-Database** `n/a`
+  =============== =================================
+
+  Enables the `Server-Timing <https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Server-Timing>`_ header.
+  See :ref:`server-timing_header`.
+
 .. _server-unix-socket:
 
 server-unix-socket