diff --git a/base/public.jl b/base/public.jl
index 5953c684d1963..9be5e535339a3 100644
--- a/base/public.jl
+++ b/base/public.jl
@@ -54,6 +54,7 @@ public
     active_project,
 
 # Reflection and introspection
+    get_extension,
     isambiguous,
     isexpr,
     isidentifier,