docs: show Developer Portal in global navigation (#37313)

Co-authored-by: Claude Opus 4.5 <noreply@anthropic.com>

docs/docusaurus.config.ts

@@ -134,7 +134,7 @@ if (!versionsConfig.developer_portal.disabled && !versionsConfig.developer_porta
       {
         type: 'doc',
         docsPluginId: 'developer_portal',
-        docId: 'extensions/architectural-principles',
+        docId: 'extensions/overview',
         label: 'Extensions',
       },
       {

docs/src/data/databases.json

@@ -1,5 +1,5 @@
 {
-  "generated": "2026-01-19T22:38:23.768Z",
+  "generated": "2026-01-21T21:46:41.044Z",
   "statistics": {
     "totalDatabases": 67,
     "withDocumentation": 67,

docs/versions-config.json

@@ -22,7 +22,7 @@
   },
   "developer_portal": {
     "disabled": false,
-    "hideFromNav": true,
+    "hideFromNav": false,
     "lastVersion": "current",
     "includeCurrentVersion": true,
     "onlyIncludeVersions": [