From 05ac7affa37857e228248baa92f87452e4f504cc Mon Sep 17 00:00:00 2001
From: Sam Buercklin <SBuercklin@users.noreply.github.com>
Date: Wed, 9 Aug 2023 16:23:25 -0400
Subject: [PATCH] add get_extension to docs

---
 doc/src/base/base.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/src/base/base.md b/doc/src/base/base.md
index aa5d23281dd6b..a4f90ba6c6d0a 100644
--- a/doc/src/base/base.md
+++ b/doc/src/base/base.md
@@ -465,6 +465,7 @@ Base.locate_package
 Base.require
 Base.compilecache
 Base.isprecompiled
+Base.get_extension
 ```
 
 ## Internals