Document stubs

php · Mar 11, 2024 · 8244dfc · 8244dfc
1 parent a04577f
commit 8244dfc
Show file tree

Hide file tree

Showing 2 changed files with 627 additions and 0 deletions.
diff --git a/docs/source/index.rst b/docs/source/index.rst
@@ -15,6 +15,12 @@
 
    core/data-structures/index
 
+.. toctree::
+   :caption: Miscellaneous
+   :hidden:
+
+   miscellaneous/stubs
+
 Welcome to the php-src documentation!
 
 .. warning::