Document stubs (#13677)

Co-authored-by: Derick Rethans <github@derickrethans.nl>
php · May 29, 2024 · 0f64901 · 0f64901
1 parent 9771302
commit 0f64901
Show file tree

Hide file tree

Showing 2 changed files with 782 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::