Rename Server keys page to Keys

2026-09-17 17:19:27 -04:00
parent c2ad5cc95a
commit 3b1c9bf3d9
3 changed files with 4 additions and 4 deletions
@@ -66,7 +66,7 @@
        { href: '/plugins',     label: 'Plugins',     match: (p: string) => p.startsWith('/plugins') },
        { href: '/deployments', label: 'Deployments', match: (p: string) => p === '/deployments' },
        { href: '/campaigns', label: 'Campaigns', match: (p: string) => p.startsWith('/campaigns') },
-        { href: '/server-keys', label: 'Server keys', match: (p: string) => p.startsWith('/server-keys') },
+        { href: '/server-keys', label: 'Keys', match: (p: string) => p.startsWith('/server-keys') },
        { href: '/betas',       label: 'Betas',       match: (p: string) => p.startsWith('/betas') }
    ];
 </script>