doc: clarify DROP EXTENSION dependent members text

Member tracking was added in PG 13.

Reported-by: David G. Johnston
Discussion: https://postgr.es/m/CAKFQuwY1YtxQHVWUFYvSnOjZ5VPpXjF33V52bSKEwFjK2K=1Aw@mail.gmail.com

Author: David G. Johnston

Backpatch-through: 13

diff --git a/doc/src/sgml/ref/drop_extension.sgml b/doc/src/sgml/ref/drop_extension.sgml
index dcc52c2ced00cfdec36013a7590b2688e802f8e3..484e5d9b11a1521e65ac5871f7f7450530bbd03c 100644 (file)
--- a/doc/src/sgml/ref/drop_extension.sgml
+++ b/doc/src/sgml/ref/drop_extension.sgml
@@ -30,7 +30,7 @@ DROP EXTENSION [ IF EXISTS ] name [
 
   
    DROP EXTENSION removes extensions from the database.
-   Dropping an extension causes its component objects, and other explicitly
+   Dropping an extension causes its member objects, and other explicitly
    dependent routines (see ,
    the DEPENDS ON EXTENSION extension_name
     action), to be dropped as well.
@@ -80,9 +80,9 @@ DROP EXTENSION [ IF EXISTS ] name [
     RESTRICT
     
      
-      This option prevents the specified extensions from being dropped
-      if there exist non-extension-member objects that depend on any
-      of the extensions.  This is the default.
+      This option prevents the specified extensions from being dropped if
+      other objects, besides these extensions, their members, and their
+      explicitly dependent routines, depend on them.  This is the default.