From b553c33dd0ed2397273af815ce892907fd13d508 Mon Sep 17 00:00:00 2001
From: oobabooga <112222186+oobabooga@users.noreply.github.com>
Date: Wed, 26 Jul 2023 07:49:22 -0700
Subject: [PATCH] Add a link to the gradio docs

---
 docs/Extensions.md           | 7 +++++--
 extensions/example/script.py | 7 +++++--
 2 files changed, 10 insertions(+), 4 deletions(-)

diff --git a/docs/Extensions.md b/docs/Extensions.md
index 47047405..74189efd 100644
--- a/docs/Extensions.md
+++ b/docs/Extensions.md
@@ -232,8 +232,11 @@ def setup():
 
 def ui():
     """
-    Gets executed when the UI is drawn. Custom gradio elements and their
-    corresponding event handlers should be defined here.
+    Gets executed when the UI is drawn. Custom gradio elements and
+    their corresponding event handlers should be defined here.
+
+    To learn about gradio components, check out the docs:
+    https://gradio.app/docs/
     """
     pass
 ```
diff --git a/extensions/example/script.py b/extensions/example/script.py
index 40bebad0..f81a652b 100644
--- a/extensions/example/script.py
+++ b/extensions/example/script.py
@@ -128,7 +128,10 @@ def setup():
 
 def ui():
     """
-    Gets executed when the UI is drawn. Custom gradio elements and their
-    corresponding event handlers should be defined here.
+    Gets executed when the UI is drawn. Custom gradio elements and
+    their corresponding event handlers should be defined here.
+
+    To learn about gradio components, check out the docs:
+    https://gradio.app/docs/
     """
     pass