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